TY - RPRT TI - Compact inverse categories AU - Robin Cockett AU - Chris Heunen PY - 2019 UR - https://arxiv.org/abs/1906.04248 ID - 1906.04248 ER -