Search Results

Working a little bit with Leinster definition of operads you can see that the span diagram $T1 \leftarrow C \rightarrow 1$ is characterized completely by the left arrow $p \colon C \to T1\cong \mathbb … is Leinster's Higher Operads Higher Categories then you should recognize that this is the monad induced by a $T$-operad whose algebras are the algebras of the $T$-operads. …

Operads allow to make lots of constructions and to encode information of many mathematical object into an algebraic structure, this algebraic structure allows to work in a simpler way with the above mentioned … In pratical I think operads are similar to homotopy/homology groups, which encode homotopical information of topological spaces and enable to distinguish such spaces in a simple way, studying algebraic …

I've begun to interest in algebraic theories and their categorical models: in particular monads, generalized multicategories and operads, lawvere theories and their generalization. …

Leinster proved that there are different operads from which arise the same monad, in this way he proved that operads cannot be identified with monads. …