TY  - RPRT
TI  - Comprehension and quotient structures in the language of 2-categories
AU  - Paul-André Melliès
AU  - Nicolas Rolland
PY  - 2020
UR  - https://arxiv.org/abs/2005.10015
ID  - 2005.10015
ER  -