Voir la notice de l'article provenant de la source Theory and Applications of Categories website
This work is a contribution to a recent field, Directed Algebraic Topology. Categories which appear as fundamental categories of `directed structures', e.g. ordered topological spaces, have to be studied up to appropriate notions of directed homotopy equivalence, which are more general than ordinary equivalence of categories. Here we introduce past and future equivalences of categories - sort of symmetric versions of an adjunction - and use them and their combinations to get `directed models' of a category; in the simplest case, these are the join of the least full reflective and the least full coreflective subcategory.
@article{TAC_2005_15_a3, author = {Marco Grandis}, title = {The shape of a category up to directed homotopy}, journal = {Theory and applications of categories}, pages = {95--146}, publisher = {mathdoc}, volume = {15}, year = {2005}, language = {en}, url = {http://geodesic.mathdoc.fr/item/TAC_2005_15_a3/} }
Marco Grandis. The shape of a category up to directed homotopy. Theory and applications of categories, CT2004, Tome 15 (2005), pp. 95-146. http://geodesic.mathdoc.fr/item/TAC_2005_15_a3/