Universal monos in partial morphism categories

DOI10.1007/S10485-007-9123-2MaRDI QIDQ1037408zbMATH OpenOpenAlexFDO

Authors 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

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

Review text

In this paper the authors consider the partial morphism category \( \overrightarrow{\mathcal C}\) associated to an arbitrary category \(\mathcal C.\) The partial morphisms may be limited as to the type of subobject on which they are defined. Such limitations are determined by a further domain structure on the category \(\mathcal C\). The main thrust of the paper is to classify and describe those monos in \(\overrightarrow{\mathcal C}\) which admit arbitrary pullbacks. The results depend on the logical structure of the posets of subobjects of objects in \(\mathcal C\).

Recommendations

• Mehrfache Partialisierung von Kategorien. (Multiple partialization of categories)
• Restriction categories. I: Categories of partial maps
• THE MEANING OF BASIC CATEGORY THEORETICAL NOTIONS IN SOME CATEGORIES OF PARTIAL ALGEBRAS. III
• scientific article; zbMATH DE number 13457
• Finite products in partial morphism categories

Cites work

• A quasitopos containing CONV and MET as full subcategories
• scientific article; zbMATH DE number 4081796 (Why is no real title available?)
• scientific article; zbMATH DE number 49833 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• Partial Horn logic and Cartesian categories
• Sheaves in geometry and logic: a first introduction to topos theory
• Spaces of partial maps, fibred mapping spaces and the compact-open topology

Cited in

(14)

• Mehrfache Partialisierung von Kategorien. (Multiple partialization of categories)
• Representation of relations by partial maps
• Fraction, restriction, and range categories from stable systems of morphisms
• Partial pullback complement rewriting
• Pullback in partial morphism categories
• Finite products in partial morphism categories
• scientific article; zbMATH DE number 3869557 (Why is no real title available?)
• REPRESENTABILITY OF PARTIAL MORPHISMS IN TOPOLOGICAL AND MONOTOPOLOGICAL CONSTRUCTS
• Partial monoids and Dold-Thom functors
• scientific article; zbMATH DE number 3948545 (Why is no real title available?)
• scientific article; zbMATH DE number 13457 (Why is no real title available?)
• scientific article; zbMATH DE number 1062768 (Why is no real title available?)
• scientific article; zbMATH DE number 3891596 (Why is no real title available?)
• Lax pullback complements in partial morphism categories

This page was built for publication: Universal monos in partial morphism categories

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