TY - RPRT TI - Posetal Diagrams for Logically-Structured Semistrict Higher Categories AU - Chiara Sarti AU - Jamie Vicary PY - 2023 DO - 10.4204/eptcs.397.15 UR - https://arxiv.org/abs/2305.11637 ID - 2305.11637 ER -