TY - RPRT TI - Theorem A for marked 2-categories AU - Fernando Abellán García AU - Walker H. Stern PY - 2020 UR - https://arxiv.org/abs/2002.12817 ID - 2002.12817 ER -