Vol. 82, No. 2, 1979

Recent Issues
Vol. 325: 1  2
Vol. 324: 1  2
Vol. 323: 1  2
Vol. 322: 1  2
Vol. 321: 1  2
Vol. 320: 1  2
Vol. 319: 1  2
Vol. 318: 1  2
Online Archive
Volume:
Issue:
     
The Journal
Subscriptions
Editorial Board
Officers
Contacts
 
Submission Guidelines
Submission Form
Policies for Authors
 
ISSN: 1945-5844 (e-only)
ISSN: 0030-8730 (print)
Special Issues
Author Index
To Appear
 
Other MSP Journals
Semi-universal maps and universal initial completions

Horst Herrlich and George Edison Strecker

Vol. 82 (1979), No. 2, 407–428
Abstract

Initial completions of categories (A,U) over a base category are investigated simultaneously with certain generalizations of the notion of topological functor. The main result states that (A,U) has a reflective universal initial completion if and only if the functor U is topologically algebraic in the sense of Y. H. Hong. This is analogous to results of Hoffmann, Tholen, and Wischnewsky that (A,U) has a reflective Mac Neille completion if and only if U is semi-topological. In addition, the class of semi-topological functors is shown to be the smallest class closed under composition and containing all topologically algebraic functors. It is also shown that for any (E,M)-functor U (resp. (E,M)-category) E must be contained in the class of generating U-morphisms (resp. epimorphisms). Specific constructions of the above completions are given, the first necessitating the new concept of semi-universal morphism. Examples illuminating the theory are also provided.

Mathematical Subject Classification 2000
Primary: 18A35
Secondary: 18A32
Milestones
Received: 1 May 1978
Published: 1 June 1979
Authors
Horst Herrlich
George Edison Strecker