×

An algebraic description of regular epimorphisms in topology. (English) Zbl 1072.18002

A regular epimorphism in an arbitrary category is a morphism which is a coequalizer of some pair of parallel morphisms. They are usually seen as “good” epimorphisms but their concrete description is often a problem. This paper provides a description of regular epimorphisms in the category of topological spaces and in some other similar categories, in terms of convergence of ultrafiters. This result is a special instance of a more general one on regular epimorphisms of \((T; \,V)\)-algebras where \(V\) is a symmetric monoidal closed complete lattice and \(T\) is a \(V\)-admissible monad on \({\mathcal S}et\).

MSC:

18A20 Epimorphisms, monomorphisms, special classes of morphisms, null morphisms
18B30 Categories of topological spaces and continuous mappings (MSC2010)
18B35 Preorders, orders, domains and lattices (viewed as categories)
18C15 Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads
18C20 Eilenberg-Moore and Kleisli constructions for monads
54B30 Categorical methods in general topology
Full Text: DOI

References:

[1] Barr, M., Relational algebras, (Lecture Notes in Mathematics, vol. 137 (1970), Springer: Springer Berlin), 39-55 · Zbl 0204.33202
[2] Clementino, M. M.; Hofmann, D., Triquotient maps via ultrafilter convergence, Proc. Amer. Math. Soc., 130, 3423-3431 (2002) · Zbl 1008.54011
[3] Clementino, M. M.; Hofmann, D., Topological features of lax algebras, Appl. Categ. Structures, 11, 267-286 (2003) · Zbl 1024.18003
[4] Clementino, M. M.; Hofmann, D.; Janelidze, G., Local homeomorphisms via ultrafilter convergence, Proc. Amer. Math. Soc., 133, 917-922 (2005) · Zbl 1061.54012
[5] Clementino, M. M.; Hofmann, D.; Tholen, W., One setting for allmetric, topology, uniformity, approach structures, Appl. Categ. Structures, 12, 127-154 (2004) · Zbl 1051.18005
[6] Clementino, M. M.; Hofmann, D.; Tholen, W., Exponentiability in categories of lax algebras, Theory Appl. Categ., 11, 337-352 (2003) · Zbl 1032.18002
[7] Clementino, M. M.; Tholen, W., Metric, topology and multicategory—a common approach, J. Pure Appl. Algebra, 179, 13-47 (2003) · Zbl 1015.18004
[8] Herrlich, H.; Lowen-Colebunders, E.; Schwarz, F., Improving \(TopPrTop\) and \(PsTop\), (Category Theory at Work (1991), Heldermann Verlag: Heldermann Verlag Berlin), 21-34 · Zbl 0753.18003
[9] Janelidze, G.; Sobral, M., Finite preorders and topological descent I, J. Pure Appl. Algebra, 175, 187-205 (2002) · Zbl 1018.18004
[10] Janelidze, G.; Sobral, M., Finite preorders and topological descent IIÉtale descent, J. Pure Appl. Algebra, 174, 203-209 (2002)
[11] Lawvere, F. W., Metric spaces, generalized logic, and closed categories, Rend. Sem. Mat. Fis. Milano, 43, 135-166 (1973) · Zbl 0335.18006
[12] Lowen, R., Approach SpacesThe Missing Link in the Topology-Uniformity-Metric Triad, (Oxford Mathematical Monographs (1997), Oxford University Press: Oxford University Press Oxford) · Zbl 0891.54001
[13] Sousa, L., On the pullback stability of a quotient map with respect to a closure operator, Theory Appl. Categ., 8, 100-113 (2001) · Zbl 0974.18001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.