Topological spaces versus frames in the topos of $M$-sets

Document Type : Research Paper


1 Mojgan Mahmoudi; Department of Mathematics, Faculty of Mathematical Sciences, Shahid Beheshti University, Tehran 19839, Iran

2 Department of Mathematics, Faculty of Mathematical Sciences, Shahid Beheshti University, Tehran 19839, Iran



In this paper we study topological spaces, frames, and their confrontation in the presheaf topos of $M$-sets for a monoid $M$. We introduce the internalization, of the frame of open subsets for topologies, and
of topologies of points for frames, in our universe.
Then we find functors between the categories of topological spaces and of frames in our universe.
We show that, in contrast to the classical case, the obtained functors do not have an adjoint relation for a general monoid, but in some cases such as when $M$ is a group, they form an adjunction.
Furthermore, we define and study soberity and spatialness for our topological spaces and frames, respectively. It is shown that if $M$ is a group then the restriction of the adjunction to sober spaces and spatial frames becomes into an isomorphism.


Main Subjects

[1] Abramsky, S. and Jung, A., “Domain Theory, Handbook of Logic in Computer Science”, Oxford University Press, 1994.
[2] Ebrahimi, M.M., “Algebra in a Grothendieck Topos”, Ph.D. Thesis, McMaster University, 1980.
[3] Ebrahimi, M.M. and Mahmoudi, M., The category of M-sets, Italian J. Pure Appl. Math. 9 (2001), 123-132.
[4] Ebrahimi, M.M., Mahmoudi, M., and Nejah, A.H., T0 topological spaces and T0 posets in the topos of M-sets, Theory Appl. Categ., 33(34) (2018), 1059-1071.
[5] Goldblatt, R., “Topoi: the Categorial Analysis of Logic”, Studies in Logic and the Foundations of Mathematics, Vol. 98, Elsevier, 2014.
[6] Hyland, M., First steps in synthetic domain theory, In A. Carboni, M.C. Pedicchio and G. Rosolini (editors), Category Theory, Lecture Notes in Math. 1488 (1991), 280-301.
[7] Johnstone, P.T., “Sketches of an Elephant: A Topos Theory Compendium”, Vol. 2, Oxford University Press, 2002.
[8] Johnstone, P.T., “Stone Spaces”, Cambridge Studies in Advanced Mathematics, Vol. 3, Cambridge University Press, 1986.
[9] Lawson, J.D., The round ideal completion via sobrification, Topology Proc. 22 (1997), 261-274.
[10] Leibniz, G.W., Discourse on metaphysics, In: Leroy E. Loemker (editor), Philosophical Papers and Letters, Kluwer Academic Publishers, (1989), 303-330.
[11] MacLane, S. and Ieke, M., “ Sheaves in Geometry and Logic: A First Introduction to Topos Theory”, Springer, 2012.
[12] Mahmoudi, M., Internal injectivity of Boolean algebras in MSet, Algebra Universalis 41(3) (1999), 155-175.
[13] Taylor, P., Sober spaces and continuations, Theory Appl. Categ. 10(12) (2002), 248-300.