TY - RPRT TI - A theory of 2-pro-objects, a theory of 2-model 2-categories and the 2-model structure for 2-Pro(C) AU - Maria Emilia Descotte PY - 2020 UR - https://arxiv.org/abs/2010.10636 ID - 2010.10636 ER -