Layered Monoidal Theories II: Fibrational Semantics
Abstract
Layered monoidal theories provide a categorical framework for studying scientific theories at different levels of abstraction, via string diagrammatic algebra. We introduce models for three closely related classes of layered monoidal theories: fibrational, opfibrational and deflational theories. We prove soundness and completeness of these theories for the respective models. Our work reveals connections between layered monoidal theories and well-known categorical structures such as Grothendieck fibrations and displayed categories.
Fields of Study & Subjects
Logic
programming
and type systems
Advanced Algebra and Logic
Homotopy and Cohomology in Algebraic Topology
Publication details
- Journal / source
- arXiv (Cornell University)
- Publication date
- 25 February 2026
- Language
- EN
- Document type
- Preprint