Geodesic
A small observation on co-categories
Theory and applications of categories, Tome 25 (2011), pp. 247-250

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

Various concerns suggest looking for internal co-categories in categories with strong logical structure. It turns out that in any coherent category E, all co-categories are co-equivalence relations.

Publié le :
Classification : 18D35
Keywords: Co-categories, co-groupoids, coherent categories, coherent logic 
@article{TAC_2011_25_a8,
     author = {Peter LeFanu Lumsdaine},
     title = {A small observation on co-categories},
     journal = {Theory and applications of categories},
     pages = {247--250},
     publisher = {mathdoc},
     volume = {25},
     year = {2011},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2011_25_a8/}
}
TY  - JOUR
AU  - Peter LeFanu Lumsdaine
TI  - A small observation on co-categories
JO  - Theory and applications of categories
PY  - 2011
SP  - 247
EP  - 250
VL  - 25
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2011_25_a8/
LA  - en
ID  - TAC_2011_25_a8
ER  - 
%0 Journal Article
%A Peter LeFanu Lumsdaine
%T A small observation on co-categories
%J Theory and applications of categories
%D 2011
%P 247-250
%V 25
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2011_25_a8/
%G en
%F TAC_2011_25_a8
Peter LeFanu Lumsdaine. A small observation on co-categories. Theory and applications of categories, Tome 25 (2011), pp. 247-250. http://geodesic.mathdoc.fr/item/TAC_2011_25_a8/