Differential algebras in codifferential categories (Q2001387): Difference between revisions
From MaRDI portal
Latest revision as of 19:17, 19 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Differential algebras in codifferential categories |
scientific article |
Statements
Differential algebras in codifferential categories (English)
0 references
3 July 2019
0 references
Derivations valued in modules over a commutative algebra are generalized to the context of a codifferential category in [\textit{R. Blute} et al., Cah. Topol. Géom. Différ. Catég. 57, No. 4, 243--279 (2016; Zbl 1364.13026)] with the notion of \(\top\)-algebra. A \(\top\)-differential algebra in a codifferential category is a \(\top\)-algebra endowed with a \(\top\)-derivation of type \(D:A\rightarrow A\). \(\top\)-differential algebras, which are the main concept of study in this paper, are the~appropriate generalization of differential algebras in codifferential categories. The paper consists of 8 sections. It is shown in \S 5 that every \(\top\)-differential algebra is a differential algebra in the classical sense, satisfying not only the higher-order Leibniz rule but also the Faà di Bruno formula for a higher-order chain rule. \S 6 is devoted to three basic examples of codifferential categories and their \(\top \)-differential algebras. \S 7 demonstrates that, given a codifferential category with countable coproducts, its category of \(\top\)-differential algebras is monadic over the codifferential category, while \S 8 shows that, given a codifferential category with countable coproducts, the category of \(\top\)-differential algebras is comonadic over the category of \(\top\)-algebras.
0 references
differential categories
0 references
differential algebras
0 references
Hurwitz series rings
0 references
Faà di Bruno formula
0 references
0 references