A small observation on co-categories

Peter LeFanu Lumsdaine

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.

Keywords: Co-categories, co-groupoids, coherent categories, coherent logic

2000 MSC: 18D35

Theory and Applications of Categories, Vol. 25, 2011, No. 9, pp 247-250.

Published 2011-04-04.

http://www.tac.mta.ca/tac/volumes/25/9/25-09.dvi
http://www.tac.mta.ca/tac/volumes/25/9/25-09.ps
http://www.tac.mta.ca/tac/volumes/25/9/25-09.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/25/9/25-09.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/25/9/25-09.ps

TAC Home