Voir la notice de l'article provenant de la source Theory and Applications of Categories website
Let E be a topos. If l is a level of E with monic skeleta then it makes sense to consider the objects in E that have l-skeletal boundaries. In particular, if p : E \to S is a pre-cohesive geometric morphism then its centre (that may be called level 0) has monic skeleta. Let level 1 be the Aufhebung of level 0. We show that if level 1 has monic skeleta then the quotients of 0-separated objects with 0-skeletal boundaries are 1-skeletal. We also prove that in several examples (such as the classifier of non-trivial Boolean algebras, simplicial sets and the classifier of strictly bipointed objects) every 1-skeletal object is of that form.
@article{TAC_2019_34_a24, author = {Matias Menni}, title = {Monic skeleta, {Boundaries,} {Aufhebung,} and the meaning of `one-dimensionality'}, journal = {Theory and applications of categories}, pages = {714--735}, publisher = {mathdoc}, volume = {34}, year = {2019}, language = {en}, url = {http://geodesic.mathdoc.fr/item/TAC_2019_34_a24/} }
Matias Menni. Monic skeleta, Boundaries, Aufhebung, and the meaning of `one-dimensionality'. Theory and applications of categories, Tome 34 (2019), pp. 714-735. http://geodesic.mathdoc.fr/item/TAC_2019_34_a24/