Abstract
Given any morphism, we construct extensions of the original category in which this morphism admits certain factorizations, in particular a (retraction, section)-factorization. To this end, we solve the word problem for a certain type of systems of generators and relations for categories. This also enables us to prove preservation properties for the said extensions, e.g. preservation of a pair of diagonalizing classes of epimorphisms and monomorphisms.
Iterating such extension processes, we obtain factorizable extensions of categories; in particular, we construct a free proper factorization structure on a given category, which leads to a characterization of preimages of proper factorization structures under full embeddings. As a further application, we characterize an absoluteness property regarding factorizations of functorial images of a morphism.
Similar content being viewed by others
References
Adamek, J., Herrlich, H., and Strecker, G. E.: Abstract and Concrete Categories, Wiley Interscience, New York, 1990.
Howe, J. M.: An Introduction to Semigroup Theory, Academic Press, London, New York, San Francisco, 1976.
Klop, J. W.: Term Rewriting Systems, in S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum (eds.), Handbook of Logic in Computer Science, Vol. 2, Oxford University Press, 1992, pp. 1-116.
Paré, R.: On absolute colimits, J. Algebra 19 (1971), 80-95.
Schröder, L. and Herrlich, H.: Free adjunction of morphisms, Appl. Cat. Struct. 8 (2000), 595-606.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Schröder, L., Herrlich, H. Free Factorizations. Applied Categorical Structures 9, 571–593 (2001). https://doi.org/10.1023/A:1012586819160
Issue Date:
DOI: https://doi.org/10.1023/A:1012586819160