Porous carbon nanotubes microspheres decorated with strong catalyst cobalt nanoparticles as an effective sulfur host for lithium-sulfur battery

Tong Wang,Guoliang Cui,Yan Zhao,Arailym Nurpeissova,Zhumabay Bakenov

DOI: https://doi.org/10.1016/j.jallcom.2020.157268

IF: 6.2

2021-02-01

Journal of Alloys and Compounds

Abstract:The commercialization of lithium-sulfur (Li–S) battery is largely obstructed by the slow redox kinetics of sulfur cathode and the shuttle effect of polysulfides during its operation, which negatively affect the battery rate capability and cycle life. Herein, a porous CNTs/Co microsphere is synthesized and applied as sulfur host material to boost the electrochemical performance of sulfur cathode. The porous conductive CNTs spherical network can realize a rapid charge and mass transfer via fast conduction of Li+-ions and mitigate the cathode volume expansion in the course of the cycles. Importantly, the Co metal nanoparticles can attain intense chemical adsorption and fast catalytic conversion of polysulfides. Because of the above merits, the high initial discharge specific capacity 1242.5 mAh g−1 was obtained for S-CNTs/Co composite at 0.2C. The capacity decay rate was only 0.066% per cycle at 1C over 300 cycles and the excellent rate performance at up to 3C could also be obtained. Moreover, the S-CNTs/Co composite delivered a high initial areal capacity of 5.7 mAh cm−2 at a high sulfur loading (5.9 mg cm−2), indicating broad perspectives of CNTs/Co as a sulfur host in lithium-sulfur battery.

materials science, multidisciplinary,chemistry, physical,metallurgy & metallurgical engineering

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to determine whether a function can be represented in the form of fold. Specifically, the author explores under what conditions a given function \(h : \mu F \to A\) can be written in the form of fold, that is, there exists some \(g : F A \to A\) such that \(h=\text{fold}_F g\).

### Main problem background

1. **Definition of Fold**:
Fold is a recursive pattern used to traverse and process algebraic data types (such as lists). For example, for the shape functor \(L A = 1+\text{Nat} \times A\) of a list, the `sum` function is a fold:
\[
\text{sum}=\text{fold}_L \, \text{add}
\]
where,
\[
\text{add}(\text{Inl}()) = 0
\]
\[
\text{add}(\text{Inr}(m, n)) = m + n
\]

2. **Judging whether a function is a fold**:
Determining whether a function \(h\) is a fold is an important problem. Traditional judgment methods rely on whether there exists an \(f\) such that \(h = \text{fold}_F f\), but this is difficult to operate when proving that a function is not a fold.

### Core contributions of the paper

The paper provides a necessary and sufficient condition to judge whether a function \(h\) can be represented as a fold. This condition is based on the concept of the kernel of a function and extends it to partial functions and more general regular categories.

### Core results

For a functor \(F\) and a function \(h : \mu F \to A\), the necessary and sufficient condition for \(h\) to be representable as a fold is:
\[
\ker(h \circ \text{in}_F) \supseteq \ker(Fh)
\]
where:
- \(\ker(f)=\{(a, a') \mid a, a' \in A \land fa = fa'\}\) is the kernel of the function \(f\).
- \(\text{in}_F\) is the embedding function of the initial algebra \((\mu F, \text{in}_F)\).

### Extensions and applications

The paper also discusses how to generalize these results to partial functions and relational calculus, and uses the framework of regular categories to further simplify and generalize these conclusions. This makes the theory applicable not only to sets and total functions, but also to a wider range of mathematical structures.

Through these works, the paper provides a more general and practical method to judge whether a function can be represented as a fold, thus providing a powerful tool for program design and algebraic specification.