TY  - RPRT
TI  - A Small Observation on Co-categories
AU  - Peter LeFanu Lumsdaine
PY  - 2009
UR  - https://arxiv.org/abs/0902.4743
ID  - 0902.4743
ER  -