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