A categorical review of complete regularity
Keywords:
ultrafilter convergence, completely regular space, $T$-space, monotone map, topological category, Stone-Cech compactification, reflective subcategory, Grothendieck fibrationAbstract
We use the ultrafilter-convergence axiomatics for topological spaces to motivate in detail a gentle categorical introduction, first to Barr's Set-based relational $T$-algebras, and then to Burroni's $T$-preorders internal to a category $\mathcal{C}$, here called $T$-spaces in $\mathcal{C}$, for a monad $T$ on $\mathcal{C}$ that substitutes the ultrafilter monad on Set. Within these settings one finds not only the notions of compactness and Hausdorff separation, originally due to Manes, but also that of complete regularity. Based on a somewhat hidden result by Burroni, the main theorem of this paper establishes an external fibrational characterization of the category of completely regular $T$-spaces with its reflexive subcategory of compact Hausdorff $T$-spaces, under modest assumptions on $\mathcal{C}$ and $T$.
References
J. Adámek, H. Herrlich and G.E. Strecker, Abstract and Concrete Categories: The Joy of Cats, John Wiley \& Sons, New York, 1990. Republished in Reprints in Theory and Applications of Categories 17, 2006.
J. Adámek and L. Sousa, D-ultrafilters and their monads, Advances in Mathematics 377:107486, 2020.
M. Barr, Relational algebras, in: Lecture Notes in Mathematics 137, pp. 39-55, Springer-Verlag, Berlin-Heidelberg-New York, 1970.
R. Börger, Coproducts and ultrafilters, Journal of Pure and Applied Algebra 46 (1987), 35-47.
M Bukatin, R. Kopperman and S.G. Matthews, Partial metric spaces, American Mathematical Monthly 116:(8) (2009), 708-718.
A. Burroni, $T$-catégories (catégories dans un triple), Cahiers de Topologie et Géométrie Différentielle 12 (1971), 215-321.
G. Choquet, Convergences, Annales de l'Université de Grenoble. Nouvelle Série. Section Sciences Mathématiques et Physiques 23 (1948), 57-112.
M. M. Clementino and D. Hofmann, Topological features of lax algebras, Applied Categorical Structures 11 (2003), 267-286.
M. M. Clementino and W. Tholen, Metric, topology and multi category, Journal of Pure and Applied Algebra 179 (2003), 13-47.
M. M. Clementino, D. Hofmann, and W. Tholen, One setting for all: metric, topology, uniformity, approach structure, Applied Categorical Structures 12 (2004), 127-154.
R. C. Flagg and R. Kopperman, Continuity spaces: reconciling domains and metric spaces, Theoretical Computer Science 177 (1997), 111-138.
F. Hausdorff, Grundzüge der Mengenlehre, Veit, Leipzig, 1914.
H. Herrlich, Topologische Reflexionen und Coreflexionen, Lecture Notes in Mathematics 78, Springer-Verlag, Berlin-Heidelberg-New York, 1968.
D. Hofmann, G. J. Seal and W. Tholen (editors), Monoidal Topology. A Categorical Approach to Order, Metric, and Topology, Cambridge University Press, Cambridge, 2014.
S. H. Kamnitzer, Protoreflections, Relational Algebras and Topology, PhD thesis, University of Cape Town, Cape Town, 1974.
R. Kopperman, All topologies come from generalized metrics, American Mathematical Monthly 95 (1988), 89-97.
H. Lai and W. Tholen, Quantale-valued topological spaces via closure and convergence, Topology and its Applications 230 (2017), 599-620.
F. W. Lawvere, Metric spaces, generalized logic, and closed categories, Rendiconti del Seminario Matematico e Fisico di Milano 43 (1973), 135-166. Republished in Reprints in Theory and Applications of Categories 1, 2002.
T. Leinster, Codensity and the ultrafilter monad, Theory and Applications of Categories 28:(13) (2013), 332-370.
R. Lowen, Approach Spaces: The Missing Link in the Topology-Uniformity-Metric Triad, Oxford University Press, Oxford, 1997.
S. Mac Lane, Categories for the Working Mathematician, Springer-Verlag, Berlin-Heidelbereg-New York, 1971; 2nd ed. 1994.
E. G. Manes, A Triple Miscellany, PhD thesis, Wesleyan University, Middletown CT, 1967.
E. G. Manes, A triple theoretic construction of compact algebras, in: Lecture Notes in Mathematics 80, pp. 91-118, Springer-Verlag, Berlin-Heidelberg-New York, 1969.
E. G. Manes, Compact Hausdorff objects, General Topology and its Applications 4:(4) (1974), 341-360.
E. G. Manes, Monads in Topology, Topology and its Applications 157 (2010), 961-989.
A. Möbus, Relational-Algebren, PhD thesis, Universität Düsseldorf, Düsseldorf, 1981.
R. J. Perry, Completely regular relational algebras, Cahiers de Topologie et Géométrie Différentielle Catégoriques 17:(2) (1976), 125-133.
G. J. Seal, Canonical and op-canonical lax algebras, Theory and Applications of Categories 14 (2005), 221-243.
W. Tholen, Semi-topological functors I, Journal of Pure and Applied Algebra 15 (1979), 53-73.
W. Tholen and L. Yeganeh, The comprehensive factorization of Burroni's Tfunctors, Theory and Applications of Categories 36:(8) (2021), 206-249.
S. Willard, General Topology, Addison-Wesley, Reading MA, 1968.
O. Wyler, Are there topoi in topology?, in: Lecture Notes in Mathematics 540, pp. 699-719, Springer-Verlag, Berlin-Heidelberg-New York, 1976.
