{"id":"arxiv/2602.22373","url":"https://arxiv.org/abs/2602.22373","tags":["math.CT","cs.LO"],"score":0,"title":"Layered Monoidal Theories II: Fibrational Semantics","domain":"math.CT","source":"arxiv","authors":["Leo Lobski","Fabio Zanasi"],"reviews":0,"subject":"math.CT","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-25","reactions":{}}