Lexicographic sums and fibre-faithful maps
type: Item
instance of: scholarly article
title: Lexicographic sums and fibre-faithful maps
zbMATH Open document ID: 0796.18001
DOI: 10.1007/BF00872986
author: Reinhard Börger
author: A. Tozzi
author: Walter Tholen
published in: Applied Categorical Structures
publication date: 1994-01-02T00:00:00Z
review text: The notion of lexicographic sums is defined and investigated in categories \({\mathcal X}\) with fibres, a terminal object 1, small hom-sets \(| Y|\colon = X(1,Y)\), \(Y\) an object of \({\mathcal X}\). Starting with lexicographic or \(l\)-sums in the category of posets and \(T_ 1\)-spaces in section 1 and taking these as paradigmatic cases, an \(l\)-sum of objects \(B_ y\in X\), \(y\in | Y|\), over \(Y\) is defined (section 2) as an \(L\in{\mathcal X}\) together with \(m\colon L\to Y\), \(j_ y : B_ y\to L\), \(y\in | Y|\), such that (1) \((j_ y\mid y\in | Y|)\) is the family of fibres of \(m\), (2) for every morphism \(f\colon X\to Y\) and its family of fibres \((i_ y\mid y\in | Y|)\) and any family of morphisms \(h_ y\colon f^{-1}(y)\to B_ y\), \(y\in | Y|\), there is a unique \(h\colon X\to L\) with \(m\circ h=f\) and \(h\circ i_ y= j_ y\circ h_ y\), \(y\in | Y|\). Several general results on \(l\)-sums are proved. In section 3 connections between \(l\)-sums and exponentiable points are investigated and in proposition 3.3 a necessary and sufficient condition for the existence of \(l\)-sums is given in terms of exponentiable points, multiple pullbacks and a disjointness condition. This leads in section 4 to one of the main theorems (4.2) on the existence of \(l\)-sums. In section 5 the connections between \(l\)-sums and coproducts are investigated, whereas in section 6 an interesting associative law for \(l\)-sums is proved. \(l\)-sums (as above) give rise to a factorization \(f=m\circ e\) for any morphism \(f\colon X\to Y\), with \(m\colon L\to Y\) the projection of the \(l\)-sum. This factorization is called the fibre-factorization of \(f\) and gives rise to the definition of fibre-faithful and fibre-trivial maps, which are investigated in sections 7 to 9. In section 10 resp. 11 the paradigmatic cases of ordered sets and \(T_ 1\)-spaces are considered; section 12 contains several interesting examples. It seems to the reviewer that such a systematic treatment of l…
Mathematics Subject Classification ID: 18A30
Mathematics Subject Classification ID: 18A32
Mathematics Subject Classification ID: 54B30
Mathematics Subject Classification ID: 18D10
Mathematics Subject Classification ID: 06A99
zbMATH DE Number: 458989
zbMATH Keywords: disjoint points
zbMATH Keywords: fibre-faithful map
zbMATH Keywords: lexicographic sums
zbMATH Keywords: exponentiable points
zbMATH Keywords: fibre-trivial maps
reviewed by: Dieter Pumplün
MaRDI profile type: Publication
cites work: Q4693062
cites work: Exponentiable morphisms, partial products and pullback complements
cites work: Q4693151
cites work: Q3998741
description: scientific article; zbMATH DE number 458989