Universal monos in partial morphism categories (Q1037408)

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\).