Differential algebras in codifferential categories (Q2001387)

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.