Inclusions for partiality

DOI10.1017/S0960129514000036MaRDI QIDQ5740618zbMATH OpenOpenAlexFDO

Authors Hendrik Hilberdink

Publication date 27 July 2016

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

Full work available at URL https://doi.org/10.1017/s0960129514000036

Mathematics Subject Classification ID

Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

Recommendations

• Constructions around partialities
• Inclusion-exclusion inequalities
• scientific article; zbMATH DE number 2042829
• Inclusion relations among separability criteria
• Partiality and its dual
• scientific article; zbMATH DE number 3935674
• scientific article; zbMATH DE number 7273857
• On an inclusion theorem
• INCLUSION THEOREMS FOR SUBSETS
• Inclusion and exclusion for finitely many types of properties

Cites work

• Boolean and classical restriction categories
• Categories of partial maps
• Dominical categories: recursion theory without elements
• Restriction categories II: Partial map classification
• Restriction categories III: colimits, partial limits and extensivity
• Restriction categories. I: Categories of partial maps
• Weak inclusion systems

Cited in

(2)

• DEFINITION OF PARTIALITY
• scientific article; zbMATH DE number 1543350 (Why is no real title available?)

This page was built for publication: Inclusions for partiality

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