Voir la notice de l'article provenant de la source Theory and Applications of Categories website
In this paper, we introduce the concept of a topological space in the topos M-Set of M-sets, for a monoid M. We do this by replacing the notion of open "subset" by open "subobject" in the definition of a topology. We prove that the resulting category has an open subobject classifier, which is the counterpart of the Sierpinski space in this topos. We also study the relation between the given notion of topology and the notion of a poset in this universe. In fact, the counterpart of the specialization pre-order is given for topological spaces in M-Set, and it is shown that, similar to the classic case, for a special kind of topological spaces in M-Set, namely $T_0$ ones, it is a partial order. Furthermore, we obtain the universal $T_0$ space, and give the adjunction between topological spaces and $T_0$ posets, in M-Set.
@article{TAC_2018_33_a33, author = {M.M. Ebrahimi and M. Mahmoudi and A.H. Nejah}, title = {$T_0$ topological spaces and $T_0$ posets in the topos of {M-sets}}, journal = {Theory and applications of categories}, pages = {1059--1071}, publisher = {mathdoc}, volume = {33}, year = {2018}, language = {en}, url = {http://geodesic.mathdoc.fr/item/TAC_2018_33_a33/} }
TY - JOUR AU - M.M. Ebrahimi AU - M. Mahmoudi AU - A.H. Nejah TI - $T_0$ topological spaces and $T_0$ posets in the topos of M-sets JO - Theory and applications of categories PY - 2018 SP - 1059 EP - 1071 VL - 33 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_2018_33_a33/ LA - en ID - TAC_2018_33_a33 ER -
M.M. Ebrahimi; M. Mahmoudi; A.H. Nejah. $T_0$ topological spaces and $T_0$ posets in the topos of M-sets. Theory and applications of categories, Tome 33 (2018), pp. 1059-1071. http://geodesic.mathdoc.fr/item/TAC_2018_33_a33/