Restriction categories II: Partial map classification

DOI10.1016/S0304-3975(01)00245-6zbMath1023.18005MaRDI QIDQ1398462

Stephen Lack, J. Robin B. Cockett

Publication date: 29 July 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

restriction categorymonadKleisli categorypartial map classifier

Mathematics Subject Classification ID

Special categories (18B99) Categorical structures (18D99) Theory of computing (68Q99) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (32)

A categorical foundation for structured reversible flowchart languages ⋮ The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus ⋮ Condition/decision duality and the internal logic of extensive restriction categories ⋮ From reversible programming languages to reversible metalanguages ⋮ Partiality and Container Monads ⋮ Parallelism in AGREE Transformations ⋮ AGREE – Algebraic Graph Rewriting with Controlled Embedding ⋮ Fundamentals of compositional rewriting theory ⋮ From gs-monoidal to oplax cartesian categories: constructions and functorial completeness ⋮ An equational notion of lifting monad ⋮ Presheaves over a join restriction category ⋮ Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes ⋮ Restriction categories as enriched categories ⋮ Many-one reductions and the category of multivalued functions ⋮ Unnamed Item ⋮ PARTIALIZATION OF CATEGORIES AND INVERSE BRAID-PERMUTATION MONOIDS ⋮ The PBPO graph transformation approach ⋮ Join inverse categories and reversible recursion ⋮ Deforestation, program transformation, and cut-elimination ⋮ Categorical simulations ⋮ Partial Recursive Functions and Finality ⋮ Algebraic graph rewriting with controlled embedding ⋮ Inclusions for partiality ⋮ On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems ⋮ A categorical foundation for structured reversible flowchart languages: Soundness and adequacy ⋮ Restriction categories III: colimits, partial limits and extensivity ⋮ Restriction categories. I: Categories of partial maps ⋮ Introduction to Turing categories ⋮ Boolean and classical restriction categories ⋮ Join Inverse Categories as Models of Reversible Recursion ⋮ Cocompletion of restriction categories ⋮ Concurrency theorems for non-linear rewriting theories

Cites Work

• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Categories of partial maps
• Monads and algebras in the semantics of partial data types
• Variations on the bagdomain theme
• Partial map classifiers and partial cartesian closed categories
• The formal theory of monads
• Strong functors and monoidal monads
• Dominical categories: recursion theory without elements
• Introduction to bicategories
• Restriction categories III: colimits, partial limits and extensivity
• Lifting theorems for Kleisli categories
• Restriction categories. I: Categories of partial maps
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Restriction categories II: Partial map classification