TY  - RPRT
TI  - A theory of 2-pro-objects (with expanded proofs)
AU  - M. Emilia Descotte
AU  - Eduardo J. Dubuc
PY  - 2014
UR  - https://arxiv.org/abs/1406.5762
ID  - 1406.5762
ER  -