output
20052019
most citedAutomatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant

11 citations

researchers with a paper here
collaborating institutions
Showing 2012Show all

1 paper · 1 filter

math.CT2012

Operads, clones, and distributive laws

Pierre-Louis Curien

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…