Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
1 answer
391 views

Different ways to “deloop” a (topological) $A_\infty$-algebra

Let $\varphi:A\to \mathrm{Ass}$ be an $A_\infty$-operad in topological spaces, and let $X$ be an $A$-algebra. I see three possibilities to construct a delooping out of $X$: Rectify $X$ by taking the ...
FKranhold's user avatar
  • 1,623
1 vote
1 answer
288 views

comparison between two monadic definitions for an operad

According to May, an operad $\mathcal{C}$ valued in sets is equivalent to a monad in Cat on the endofunctor $C\colon X\mapsto \coprod_i \mathcal{C}(i)\times X^i.$ According to Leinster, an operad is ...
ziggurism's user avatar
  • 1,446
9 votes
2 answers
739 views

Correspondence between operads and monads requires tensor distribute over coproduct?

In checking the details of the correspondence between operads over a symmetric monoidal category and monads on some associated endofunctor of the category, I cannot make the obvious proof work without ...
ziggurism's user avatar
  • 1,446