Operads, clones, and distributive laws

We show how non-symmetric operads (or multicategories), symmetric operads, and clones, arise from three suitable monads on Cat, each extending to a (pseudo-)monad on the bicategory of categories and profunctors. We also explain how other previous categorical analyses of operads (via Day's tensor products, or via analytical functors) fit with the profunctor approach.

[1]  G. M. Kelly,et al.  A universal property of the convolution monoidal structure , 1986 .

[2]  Marcelo P. Fiore,et al.  Mathematical Models of Computational and Combinatorial Structures , 2005, FoSSaCS.

[3]  Bruno Vallette,et al.  Dualité de Koszul des PROPs , 2004, math/0405057.

[4]  A. Joyal.  Foncteurs analytiques et espèces de structures , 1986 .

[5]  BRUNO VALLETTE.  A Koszul duality for props , 2007 .

[6]  Albert Burroni.  $T$-catégories (catégories dans un triple) , 1971 .

[7]  Tom Leinster.  Higher Operads, Higher Categories , 2003 .

[8]  John Power,et al.  Pseudo-distributive Laws , 2003, MFPS.

[9]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[10]  John Power,et al.  Pseudo-distributive laws and axiomatics for variable binding , 2006, High. Order Symb. Comput..

[11]  Glynn Winskel,et al.  The cartesian closed bicategory of generalised species of structures , 2008 .

[12]  Marcelo P. Fiore,et al.  Mathematical Models of Computational and Combinatorial Structures , 2005, FoSSaCS.

[13]  Yves Lafont,et al.  Towards an algebraic theory of Boolean circuits , 2003 .

[14]  M. Barr,et al.  Toposes, Triples and Theories , 1984 .

[15]  F. Marmolejo,et al.  Distributive laws for pseudomonads. , 1999 .

[16]  G. M. Kelly,et al.  On the Operads of J.p. May , 1972 .

[17]  Albert Burroni.  Higher Dimensional Word Problem , 1991, Category Theory and Computer Science.

[18]  B. Day.  On closed categories of functors , 1970 .

[19]  J. Benabou.  Introduction to bicategories , 1967 .

[20]  N. Gambino,et al.  On the coherence conditions for pseudo-distributive laws , 2009, 0907.1359.

[21]  Eugenia Cheng.  Weak n -categories: opetopic and multitopic foundations , 2003 .

[22]  James Dolan,et al.  Higher-Dimensional Algebra III: n-Categories and the Algebra of Opetopes , 1997 .

[23]  Sally Popkorn,et al.  A Handbook of Categorical Algebra , 2009 .

[24]  F. Borceux.  Handbook Of Categorical Algebra 1 Basic Category Theory , 2008 .

[25]  Charles Ehresmann,et al.  Cahiers de topologie et géometrie différentielle , 1982 .