Operads, clones, and distributive lawsReportar como inadecuado




Operads, clones, and distributive laws - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.





Autor: Pierre-Louis Curien -

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



DESCARGAR PDF




Documentos relacionados