Universal monos in partial morphism categories

DOI10.1007/s10485-007-9123-2zbMath1192.18001OpenAlexW1971034178MaRDI QIDQ1037408

J. Blot

Publication date: 16 November 2009

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-007-9123-2

zbMATH Keywords

(stable) local implication(universal) monopartial morphisms

Mathematics Subject Classification ID

Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Embedding theorems, universal categories (18B15) Foundations, relations to logic and deductive systems (18A15)

Related Items

Pullback in partial morphism categories, Fraction, restriction, and range categories from stable systems of morphisms, Partial pullback complement rewriting

Cites Work

• Partial Horn logic and Cartesian categories
• A quasitopos containing CONV and MET as full subcategories
• Sheaves in geometry and logic: a first introduction to topos theory
• Spaces of partial maps, fibred mapping spaces and the compact-open topology
• Unnamed Item
• Unnamed Item
• Unnamed Item