TY  - RPRT
TI  - Weak vertical composition
AU  - Eugenia Cheng
AU  - Alexander S. Corner
PY  - 2022
UR  - https://arxiv.org/abs/2212.11865
ID  - 2212.11865
ER  -