Cartesian integral categories and contextual integral categories

DOI10.1016/J.ENTCS.2018.11.004MaRDI QIDQ2134825zbMATH OpenOpenAlexWikidataFDO

Authors J. R. B. Cockett, J. S. Lemay

Publication date 3 May 2022

Full work available at URL https://doi.org/10.1016/j.entcs.2018.11.004

zbMATH Keywords

coalgebra modalitycoKleisli categorycontextintegral categoriessimple slice

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Integral categories and calculus categories
• Integral categories and calculus categories
• Cartesian differential categories
• Convenient antiderivatives for differential linear categories
• Cartesian differential storage categories

Cites work

• An introduction to Rota-Baxter algebra.
• Cartesian differential categories
• Cartesian differential storage categories
• Categorical logic and type theory
• Differential categories
• scientific article; zbMATH DE number 2185654 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• On Köthe sequence spaces and linear logic
• Skew-enriched categories
• The geometry of tensor calculus. I

Cited in

(10)

• Differential equations in a tangent category. I: Complete vector fields, flows, and exponentials
• Theory of interleavings on categories with a flow
• scientific article; zbMATH DE number 774090 (Why is no real title available?)
• Convenient antiderivatives for differential linear categories
• scientific article; zbMATH DE number 7407795 (Why is no real title available?)
• Monoidal reverse differential categories
• scientific article; zbMATH DE number 7684599 (Why is no real title available?)
• Normed modules and the categorification of integrations, series expansions, and differentiations
• Normed modules, integral sequences, and integrals with variable upper limits
• Module-valued ordinary differential equations and structure of solution spaces

This page was built for publication: Cartesian integral categories and contextual integral categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2134825)