Operads, clones, and distributive lawsReport as inadecuate




Operads, clones, and distributive laws - Download this document for free, or read online. Document in PDF available to download.

1 PPS - Preuves, Programmes et Systèmes 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.





Author: Pierre-Louis Curien -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents