#
A unified framework for generalized multicategories

##
G.S.H. Cruttwell and Michael A. Shulman

Notions of generalized multicategory have been defined in numerous
contexts throughout the literature, and include such diverse examples as
symmetric multicategories, globular operads, Lawvere theories, and
topological spaces. In each case, generalized multicategories are defined
as the ``lax algebras'' or ``Kleisli monoids'' relative to a ``monad'' on
a bicategory. However, the meanings of these words differ from author to
author, as do the specific bicategories considered. We propose a unified
framework: by working with monads on double categories and related
structures (rather than bicategories), one can define generalized
multicategories in a way that unifies all previous examples, while at the
same time simplifying and clarifying much of the theory.

Keywords:
Enriched categories, change of base, monoidal categories,
double categories, multicategories, operads, monads

2000 MSC:
18D05,18D20,18D50

*Theory and Applications of Categories,*
Vol. 24, 2010,
No. 21, pp 580-655.

http://www.tac.mta.ca/tac/volumes/24/21/24-21.dvi

http://www.tac.mta.ca/tac/volumes/24/21/24-21.ps

http://www.tac.mta.ca/tac/volumes/24/21/24-21.pdf

Revised 2016-09-12. Original version at

http://www.tac.mta.ca/tac/volumes/24/21/24-21a.pdf

TAC Home