Operads, clones, and distributive laws

Pierre-Louis Curien 1, 2
2 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, Inria Paris-Rocquencourt, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique : UMR7126
Abstract : 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.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00697065
Contributor : Pierre-Louis Curien <>
Submitted on : Monday, May 14, 2012 - 2:42:13 PM
Last modification on : Friday, January 4, 2019 - 5:33:25 PM
Document(s) archivé(s) le : Wednesday, August 15, 2012 - 2:36:39 AM

Files

Operads-PLC.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00697065, version 1
  • ARXIV : 1205.3050

Collections

Citation

Pierre-Louis Curien. Operads, clones, and distributive laws. Operads and Universal Algebra : Proceedings of China-France Summer Conference, Jul 2010, Tianjin, China. pp.25-50. ⟨hal-00697065⟩

Share

Metrics

Record views

375

Files downloads

234