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