Abstract
The concepts of fitness and subfitness (as defined in Isbell, Trans. Amer. Math. Soc. 327, 353–371, 1991) are useful separation properties in point-free topology. The categorical behaviour of subfitness is bad and fitness is the closest modification that behaves well. The separation power of the two, however, differs very substantially and subfitness is transparent and turns out to be useful in its own right. Sort of supplementing the article (Simmons, Appl. Categ. Struct. 14, 1–34, 2006) we present several facts on these concepts and their relation. First the “supportive” role subfitness plays when added to other properties is emphasized. In particular we prove that the numerous Dowker-Strauss type Hausdorff axioms become one for subfit frames. The aspects of fitness as a hereditary subfitness are analyzed, and a simple proof of coreflectivity of fitness is presented. Further, another property, prefitness, is shown to also produce fitness by heredity, in this case in a way usable for classical spaces, which results in a transparent characteristics of fit spaces. Finally, the properties are proved to be independent.
Similar content being viewed by others
References
Banaschewski, B., Pultr, A.: Cauchy points of uniform and nearness frames. Quaest. Math. 19, 101–127 (1996)
Banaschewski, B., Pultr, A.: Pointfree aspects of the T D axiom of classical topology. Quaest. Math. 33, 369–385 (2010)
Dowker, C.H., Strauss, D.P.: Separation axioms for frames. Colloq. Math. Soc. Janos Bolyai 8, 223–240 (1974)
Dowker, C.H., Strauss, D.: T 1- and T 2-axioms for frames. In: Aspects of Topology, London Math. Soc. Lecture Note Ser. 93, pp. 325–335 Cambridge University Press, Cambridge, (1985)
Gutiérrez García, J., Picado, J.: On the parallel between normality and extremal disconnectedness. J. Pure Appl. Algebra 218, 784–803 (2014)
Herrlich, H.: A concept of nearness. Gen. Topology Appl. 5, 191–212 (1974)
Herrlich, H., Pultr, A.: Nearness, subfitness and sequential regularity. Appl. Categ. Struct. 8, 67–80 (2000)
Isbell, J.R.: Atomless parts of spaces. Math. Scand. 31, 5–32 (1972)
Isbell, J.R.: First steps in descriptive theory of locales. Trans. Amer. Math. Soc. 327, 353–371 (1991). Corrections 341, 467–468 (1994)
Johnstone, P.: Stone Spaces. Cambridge University Press, Cambridge (1982)
Johnstone, P., Sun, S.-H.: Weak products and Hausdorff locales. In: Categorical Algebra and its Applications (Proc. Louvain-La-Neuve, 1987), Lecture Notes in Math, vol. 1348, pp. 173–193. Springer, Berlin (1988)
Paseka, J., Šmarda, B.: T 2-frames and almost compact frames. Czechoslovak Math. J. 42(117), 385–402 (1992)
Picado, J., Pultr, A.: Locales treated mostly in a covariant way, Textos de Matemática, vol. 41. University of Coimbra (2008)
Picado, J., Pultr, A.: Frames and Locales: topology without points. Frontiers in Mathematics, vol. 28. Springer, Basel (2012)
Picado, J., Pultr, A.: (Sub)Fit biframes and non-symmetric nearness. Topology Appl., to appear
Picado, J., Pultr, A., Tozzi, A.: Locales. In: Pedicchio, M.C., Tholen, W. (eds.) Categorical Foundations - Special Topics in Order, Topology, Algebra and Sheaf Theory, Encyclopedia of Mathematics and its Applications, vol. 97, pp. 49–101. Cambridge University Press, Cambridge (2003)
Pultr, A.: Frames. In: Hazewinkel, M. (ed.) Handbook of Algebra, vol. 3, pp. 791–858. Elsevier (2003)
Rosický, J., Šmarda, B.: T 1-locales. Math. Proc. Cambridge Philos. Soc. 98, 81–86 (1985)
Simmons, H.: The lattice theoretic part of topological separation properties. Proc. Edinburgh Math. Soc. 21(2), 41–48 (1978)
Simmons, H.: Regularity, fitness, and the block structure of frames. Appl. Categ. Struct. 14, 1–34 (2006)
Singal, M.K., Prabha Arya, S.: On almost-regular spaces. Glas. Mat. Ser. III 4(24), 89–99 (1969)
Vaidyanathaswamy, R.: On the lattice of open sets of a topological space. Proc. Indian Acad. Sci. Sect. A 16, 379–386 (1942)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Picado, J., Pultr, A. More on Subfitness and Fitness. Appl Categor Struct 23, 323–335 (2015). https://doi.org/10.1007/s10485-014-9366-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-014-9366-7
Keywords
- Frame
- Locale
- Sublocale lattice
- Fit frame
- Subfit frame
- Prefit frame
- Hausdorff property
- Nearness
- Quasi-Nearness