Kähler categories (Q2910140)

Differential categories were introduced by \textit{R. Blute, J. R. B. Cockett} and \textit{R. A.G. Seely} [ Math. Struct. Comput. Sci. 16, No. 6, 1049--1083 (2006; Zbl 1115.03092)].NEWLINENEWLINEThe authors work with a dual notion of a \textit{codifferential category}. Then, the new notion of a \textit{Kähler category} is introduced and its relations with Kähler differentials are established. The main result (Theorem 4.8) states that every codifferential category, satisfying a minor structural property, is Kähler.NEWLINENEWLINEA differential approach to capturing the universality of Kähler differentials is contained in [\textit{E. Dubuc} and \textit{A. Kock}, Commun. Algebra 12, 1471--1531 (1984; Zbl 1254.51005)].