Abstract
The notion of lexicographic sum is introduced in general categories. Existence criteria are derived, particularly for locally cartesian closed categories and for categories with suitable coproducts. Lexicographic sums satisfy a generalized associative law. More importantly, every morphism can be factored through the lexicographic sum of its fibres. This factorization and the two types of maps arising from it, fibre-trivial and fibre-faithful, are studied particularly for partially ordered sets and forT 1-spaces.
Similar content being viewed by others
References
J. Adámek, H. Herrlich, and G.E. Strecker: 1990,Abstract and Concrete Categories, Wiley Interscience, New York.
R. Dyckhoff and W. Tholen: 1987, ‘Exponentiable Morphisms, Partial Products and Pullback Complements’,J. Pure Appl. Algebra 49, 103–116.
S. MacLane: 1971,Categories for the Working Mathematician, Springer-Verlag, New York-Berlin.
O. Wyler: 1991,Lecture Notes on Topoi and Quasitopoi, World Scientific, Singapore.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Börger, R., Tholen, W. & Tozzi, A. Lexicographic sums and fibre-faithful maps. Appl Categor Struct 1, 59–83 (1993). https://doi.org/10.1007/BF00872986
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF00872986