2017/05/25 by Luca Mauri, Mauri, Luca · 1 citation
Mathematics · Computer Science · #Homotopy and Cohomology in Algebraic Topology #Advanced Topics in Algebra #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.1705.09202
We define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that generalises the usual definition in sets; and from a category-theoretical point of view, as monoidal functors on suitable classifying categories. The semantics obtained includes as special cases both the semantics of ordinary algebraic theories in Cartesian categories, and the semantics of operads and multicategories over sets.