Free Adjunction of Morphisms

13 years 5 months ago
Free Adjunction of Morphisms
Abstract. We develop a general setting for the treatment of extensions of categories by means of freely adjoined morphisms. To this end, we study what we call composition graphs, i.e. large graphs with a partial binary operation on which we impose only rudimentary requirements. The quasicategory thus obtained contains the quasicategory of all categories as a full reflective subquasicategory; we characterize composition graphs for which this reflexion is of a particularly simple nature. This leads to the concept of semicategory; we apply semicategories to solve characterization problems concerning absolutely initial sources, absolute monosources and potential sections. For instance, we show that in any category, the absolutely initial sources are precisely the sources that contain a section.
Lutz Schröder, Horst Herrlich
Added 17 Dec 2010
Updated 17 Dec 2010
Type Journal
Year 2000
Where ACS
Authors Lutz Schröder, Horst Herrlich
Comments (0)