Abstract
In the category T o p 0 of T 0-spaces and continuous maps, embeddings are just those morphisms with respect to which the Sierpiński space is Kan-injective, and the Kan-injective hull of the Sierpiński space is the category of continuous lattices and maps preserving directed suprema and arbitrary infima. In the category L o c of locales and localic maps, we give an analogous characterization of flat embeddings; more generally, we characterize n-flat embeddings, for each cardinal n, as those morphisms with respect to which a certain finite subcategory is Kan-injective. As a consequence, we obtain similar characterizations of the n-flat embeddings in the category T o p 0, and we show that several well-known subcategories of L o c and T o p 0 are Kan-injective hulls of finite subcategories. Moreover, we show that there is a subcategory of spatial locales whose Kan-injective hull is the entire category L o c.
Similar content being viewed by others
References
Adámek, J., Hébert, M., Sousa, L.: The orthogonal subcategory problem and the small object argument. Appl. Categ. Structures 17, 211–246 (2009)
Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and concrete categories, John Wiley and Sons, New York 1990. Repr. Theory Appl. Categ. 17, 1–507 (2006)
Adámek, J., Sousa, L., Velebil, J.: Kan injectivity in order-enriched categories. Math. Structures Comput. Sci. 25(1), 6–45 (2015)
Banaschewski, B.: Projective frames: a general view. Cah. Topol. Géom. Différ. Catég. 46(4), 301–312 (2005)
Carvalho, M., Sousa, L.: Order-preserving reflectors and injectivity. Topology Appl. 158(17), 2408–2422 (2011)
Day, A.: Filter monads, continuous lattices and closure systems. Canad. J. Math. 27, 50–59 (1975)
Escardó, M.H.: Injective spaces via the filter monad. In: Proceedings of the 12th Summer Conference on General Topology and its Applications (1997)
Escardó, M.H.: Properly injective spaces and function spaces. Topology Appl. 89(1-2), 75–120 (1998)
Escardó, M.H.: Injective locales over perfect embeddings and algebras of the upper powerlocale monad. Appl. Gen. Topol. 4(1), 193–200 (2003)
Escardó, M.H., Flagg, R.C.: Semantic domains, injective spaces and monads. Electron. Notes Theor. Comput. Sci., 20 (1999)
Freyd, P.J., Kelly, G.M.: Categories of continuous functors I. J. Pure Appl. Algebra 2, 169–191 (1972)
Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M.W., Scott, D.S.: A Compendium of Continuous Lattices. Springer-Verlag, Berlin-New York (1980)
Hoffmann, R.-E.: Charakterisierung nüchterner Räume. Manuscripta Math. 15, 185–191 (1975)
Hofmann, D.: A four for the price of one duality principle for distributive topological spaces. Order 30(2), 643–655 (2013)
Hong, S.S.: Extensive subcategories of the category of T 0-spaces. Canad. J. Math. 27, 311–318
Johnstone, P.T.: The Gleason cover of a topos II. J. Pure Appl. Algebra 22, 229–247 (1981)
Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)
Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium, vol. 2. Number 44 in Oxford Logic Guides, The Clarendon Press. Oxford University Press, Oxford (2002)
Kelly, G.M.: A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on. Bull. Austral. Math. Soc. 22, 1–83 (1980)
Kelly, G.M.: Basic concepts of enriched category theory, London Math. Soc. Lecture Notes Series 64, Cambridge Univ. Press, 1982. Repr. Theory Appl. Categ. 10, 1–136 (2005)
Kock, A.: Monads for which structures are adjoint to units (version 3). J. Pure Appl. Algebra 104, 41–59 (1995)
Mac Lane, S.: Categories for the working mathematician, 2nd edition. Springer (1998)
Mantovani, S.: Epireflective hulls of spaces of ordinals in T 0. Quaest. Math 7, 203–211 (1984)
Nel, L.D., Wilson, R.G.: Epireflections in the category of T 0-spaces, Fund. Math, LXXV (1972)
Picado, J., Pultr, A.: Frames and Locales: Topology Without Points, Birkhäuser/Springer Basel AG, Basel (2012)
Raney, G.: A subdirected union representation of completely distributive complete lattices. Proc. Amer. Math. Soc. 4, 518–522 (1953)
Scott, D.S.: Continuous lattices. In: Toposes, algebraic geometry and logic (F. W. Lawvere, ed.), Lecture Notes in Mathematics, vol. 274, Springer Verlag, 97–136 (1972)
Simmons, H.: A couple of triples. Topology Appl. 13, 201–223 (1982)
Sousa, L.: α-sober spaces via the orthogonal closure operator. Appl. Categ. Structures 4, 87–95 (1996)
Smyth, M.B.: Stable compactification I. J. London Math. Soc. 45(2), 321–340 (1992)
Smyth, M.B., Plotkin, G.D.: The category-theoretic solution of recursive domain equations. SIAM J. Comput. 11, 761–783 (1982)
Wyler, O.: Compact ordered spaces and prime Wallman compactifications. In: Categorical Topology, pp. 618–635, Sigma Ser. Pure Math., 5, Heldermann, Berlin, (1984)
Wyler, O.: Algebraic theories for continuous semilattices. Arch. Rational Mech. Anal. 90(2), 99–113(1985)
Zöberlein, V.: Doctrines on 2-categories. Math. Z. 148, 267–279(1976)
Author information
Authors and Affiliations
Corresponding author
Additional information
The first author acknowledges partial support by FCT - Fundação para a Ciência e a Tecnologia under the project SFRH/PROTEC/67529/2010 and by ISCAC - IPC. The second author acknowledges the support of the Centre for Mathematics of the University of Coimbra (funded by the program COMPETE and by the Fundação para a Ciência e a Tecnologia, under the project PEst-C/MAT/UI0324/2013).
Rights and permissions
About this article
Cite this article
Carvalho, M., Sousa, L. On Kan-injectivity of Locales and Spaces. Appl Categor Struct 25, 83–104 (2017). https://doi.org/10.1007/s10485-015-9413-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-015-9413-z