TY  - RPRT
TI  - Groupoidal 2-quasi-categories and homotopy 2-types
AU  - Victor Brittes
PY  - 2022
UR  - https://arxiv.org/abs/2211.16896
ID  - 2211.16896
ER  -