Local categories: a new approach to partiality

DOI10.1016/J.TCS.2026.116213MaRDI QIDQ7396332zbMATH OpenFDO

Authors Marcello Lanfranchi, Jean-Simon Pacaud Lemay

Publication date 2026

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

Full work available at URL https://doi.org/10.1016/J.TCS.2026.116213

Mathematics Subject Classification ID

Special categories (18B99) Data structures (68P05) Theory of computing (68Qxx)

Cites work

• 2-Dimensional Categories
• Almost perfect restriction semigroups
• Boolean and classical restriction categories
• Cartesian differential categories revisited
• Categories of partial maps
• Classical distributive restriction categories
• Differential structure, tangent structure, and SDG
• Dominical categories: recursion theory without elements
• scientific article; zbMATH DE number 3665176 (Why is no real title available?)
• scientific article; zbMATH DE number 29047 (Why is no real title available?)
• scientific article; zbMATH DE number 1761434 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Partial map classifiers and partial cartesian closed categories
• Restriction categories II: Partial map classification
• Restriction categories III: colimits, partial limits and extensivity
• Restriction categories. I: Categories of partial maps
• Semantics of weakening and contraction
• The Ehresmann-Schein-Nambooripad theorem and its successors
• The Ehresmann-Schein-Nambooripad theorem for inverse categories

This page was built for publication: Local categories: a new approach to partiality

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