TY - RPRT TI - Layered Monoidal Theories AU - Leo Lobski PY - 2025 UR - https://arxiv.org/abs/2512.12139 ID - 2512.12139 ER -