Universal monos in partial morphism categories

S. N. Hosseini, M. V. Mielke

Research output: Contribution to journalArticlepeer-review

5 Scopus citations


In this paper the category, C ⇀ = (C, D ⇀) of partial morphisms of a category C with respect to a certain class D of subobjects of C is formed and the universality of monomorphisms of C ⇀ is investigated. The main result characterizes C ⇀ -universality of monos, in terms of C -universality of monos and the existence of local C-implications.

Original languageEnglish (US)
Pages (from-to)435-444
Number of pages10
JournalApplied Categorical Structures
Issue number5
StatePublished - Oct 2009


  • (Stable) local implication
  • (Universal) mono
  • Partial morphism

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Universal monos in partial morphism categories'. Together they form a unique fingerprint.

Cite this