A Small Observation on Co-categories
Category Theory
2014-11-21 v2
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.
Keywords
Cite
@article{arxiv.0902.4743,
title = {A Small Observation on Co-categories},
author = {Peter LeFanu Lumsdaine},
journal= {arXiv preprint arXiv:0902.4743},
year = {2014}
}
Comments
4 pages