Universal monos in partial morphism categories

DOI10.1007/s10485-007-9123-2zbMath1192.18001MaRDI 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) mono; partial morphisms

Mathematics Subject Classification ID

18A20: Epimorphisms, monomorphisms, special classes of morphisms, null morphisms

18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)

18B15: Embedding theorems, universal categories

18A15: Foundations, relations to logic and deductive systems