* Preprint: Algebraic theories in monoidal categories
@ 2003-06-15 8:49 Luca Mauri
0 siblings, 0 replies; only message in thread
From: Luca Mauri @ 2003-06-15 8:49 UTC (permalink / raw)
To: 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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2003-06-15 8:49 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-06-15 8:49 Preprint: Algebraic theories in monoidal categories Luca Mauri
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).