Cartesian integral categories and contextual integral categories

DOI10.1016/j.entcs.2018.11.004OpenAlexW2905290053WikidataQ113317495 ScholiaQ113317495MaRDI QIDQ2134825

J. Robin 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

contextcoalgebra modalitycoKleisli categoryintegral categoriessimple slice

Mathematics Subject Classification ID

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

Related Items (2)

Monoidal reverse differential categories ⋮ Differential equations in a tangent category. I: Complete vector fields, flows, and exponentials

Cites Work

• Skew-enriched categories
• The geometry of tensor calculus. I
• Categorical logic and type theory
• Differential categories
• On Köthe sequence spaces and linear logic
• Cartesian Differential Storage Categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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