2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/60752We 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.27 pages, many figures, AMSLaTeX, written in 1999 - still preliminaryCategory TheoryLogic18D99; 03B30; 16W25; 17B40; 18A25; 18C05; 28A15; Secondary 58A10; 58B30text