Restriction categories III: colimits, partial limits and extensivity

DOI10.1017/S0960129507006056zbMath1123.18003MaRDI QIDQ5756980

Stephen Lack, J. Robin B. Cockett

Publication date: 6 September 2007

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

partial maplimitrestriction categorycolimitextensive category

Mathematics Subject Classification ID

Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (21)

A categorical foundation for structured reversible flowchart languages ⋮ Condition/decision duality and the internal logic of extensive restriction categories ⋮ From reversible programming languages to reversible metalanguages ⋮ Partiality and Container Monads ⋮ Timed Sets, Functional Complexity, and Computability ⋮ Latent Fibrations: Fibrations for Categories of Partial Maps ⋮ Categorical semantics of a simple differential programming language ⋮ From gs-monoidal to oplax cartesian categories: constructions and functorial completeness ⋮ Restriction categories II: Partial map classification ⋮ The Greenberg Functor is Site Cocontinuous ⋮ Restriction categories as enriched categories ⋮ Cartesian differential categories revisited ⋮ Many-one reductions and the category of multivalued functions ⋮ Generalising the étale groupoid-complete pseudogroup correspondence ⋮ Join inverse categories and reversible recursion ⋮ Inclusions for partiality ⋮ Differential structure, tangent structure, and SDG ⋮ A categorical foundation for structured reversible flowchart languages: Soundness and adequacy ⋮ Restriction categories. I: Categories of partial maps ⋮ Join Inverse Categories as Models of Reversible Recursion ⋮ Cocompletion of restriction categories

Cites Work

• Matrices, relations, and group representations
• Categories of partial maps
• Partiality, cartesian closedness, and toposes
• Introduction to extensive and distributive categories
• Restriction categories II: Partial map classification
• Strong functors and monoidal monads
• Dominical categories: recursion theory without elements
• Restriction categories. I: Categories of partial maps

This page was built for publication: Restriction categories III: colimits, partial limits and extensivity