Preliminaries on Subobjects, Images, and Inverse Images
Part of the Mathematics and Its Applications book series (MAIA, volume 346)
In this chapter we provide the basic categorical framework on subobjects, inverse images and image factorization as needed throughout the book.
KeywordsCommutative Diagram Inverse Image Closure Operator Natural Transformation Categorical Property
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- Finding an adequate notion of factorization system in a category has been a theme in category theory almost from the very beginnings. Early references include Mac Lane  and Isbell , but it was not before the late sixties to early seventies that a generally accepted definition emerged, most comprehensively presented by Freyd and Kelly , but see also Kennison , Herrlich , Ringel , Pumplün , Dyckhoff  and Bousfield ; it is the self-dual notion of (ε, M) factorization system as presented here in 1.8. We have chosen to take a “one-sided” approach to it via right M- factorizations (going back to Ehrbar and Wyler , , Tholen ,  and MacDonald and Tholen ) since idempotent closure operators “are” exactly such factorization systems, as will be made precise in 5.3. The notion of finite M-completeness and its characterization by Theorem 1.6 does not seem to have appeared previously in the literature. Theorem 1.7 goes back to Im and Kelly .Google Scholar
© Springer Science+Business Media Dordrecht 1995