Foundations of classical theories (including reverse mathematics) (03B30) Derivations, actions of Lie algebras (16W25) Automorphisms, derivations, other operators for Lie algebras and super algebras (17B40) Functor categories, comma categories (18A25) Equational categories (18C05) Categorical structures (18D99) Abstract differentiation theory, differentiation of set functions (28A15) Differential forms in global analysis (58A10)
Abstract: We propose the categorification of the algebraic analysis as the Leibniz 3-category given by generators and relations, including the Leibniz 3-cell relation. The Leibniz category offers the `most general' `(co-)derivation' 3-cell. We outline a program in which every 2-cell related to (or a type of) a Leibniz partial (co-)derivation 3-cell, is translated into an appropriate 2-cell related to the Cartan 3-cell, and vice versa. A model of a non-Leibniz 2-cell responsible for the stochastic calculus must be a ternary operation.
This page was built for publication: Categorical Analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6470875)
