 |
|
|
|
| HAL : hal-00697065, version 1 |
| arXiv : 1205.3050 |
| Fiche détaillée |  Récupérer au format |
|
|
| Operads and Universal Algebra : Proceedings of China-France Summer Conference, Tianjin : Chine (2010) |
|
|
|
|
| Operads, clones, and distributive laws |
|
|
| Pierre-Louis Curien 1, 2 |
|
|
| (2012) |
|
|
|
| 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 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
| 2 : | PI.R2 (INRIA Paris - Rocquencourt) |
|
|
|
INRIA – Université Paris VII - Paris Diderot – CNRS : UMR7126 |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Logique en informatique Mathématiques/K-théorie et homologie |
|
|
| Liste des fichiers attachés à ce document : | ||||||||||
|
||||||||||
|
|
|
| hal-00697065, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00697065 | |
| oai:hal.archives-ouvertes.fr:hal-00697065 | |
| Contributeur : Pierre-Louis Curien | |
| Soumis le : Lundi 14 Mai 2012, 14:42:13 | |
| Dernière modification le : Mardi 15 Mai 2012, 15:16:40 | |
