Range categories II: Towards regularity

MaRDI QIDQ2919773zbMATH OpenFDO

Authors Xiuzhan Guo, J. R. B. Cockett, Pieter Hofstra

Publication date 22 October 2012

Published in Theory and Applications of Categories (Search for Journal in Brave)

Full work available at URL http://www.emis.de/journals/TAC/volumes/26/18/26-18abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

categories of partial mapsregular categoriesrestriction categoryterm logic

Mathematics Subject Classification ID

General logic (03B99) Foundations, relations to logic and deductive systems (18A15) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Enriched categories (over closed or monoidal categories) (18D20)

Recommendations

• Range categories. I: General theory
• Categories of partial maps
• scientific article; zbMATH DE number 3863435
• scientific article; zbMATH DE number 4101439
• Restriction categories. I: Categories of partial maps

Cited in

(10)

• Domain and range for angelic and demonic compositions
• Formalizing abstract computability: Turing categories in Coq
• Range categories. I: General theory
• scientific article; zbMATH DE number 877751 (Why is no real title available?)
• Latent fibrations: fibrations for categories of partial maps
• Aspects of categorical recursion theory
• Categorical semantics of a simple differential programming language
• Relating ample and biample topological categories with Boolean restriction and range semigroups
• Empirical measures and strong laws of large numbers in categorical probability
• The algebra of functions with antidomain and range

This page was built for publication: Range categories II: Towards regularity

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