A Small Observation on Co-categories

Abstract

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

4 pages

Cited by in corpus (3)

• A cocategorical obstruction to tensor products of Gray-categories
• A characterization of representable intervals
• Large limit sketches and topological space objects