Preprint: Algebraic theories in monoidal categories
PREPRINT ANNOUNCEMENT Algebraic theories in monoidal categories Luca Mauri Abstract. 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. The article is in PDF format (~250 KB, 26 pages) and can be be downloaded using either of the following: "http://128.6.62.2/~mauri/Algebraic theories in monoidal categories" "http://128.6.62.2/~mauri/atmc.pdf" (older browsers) Comments and suggestions are welcome. Luca Mauri mauri@math.uni-duisburg.de
participants (1)
-
Luca Mauri