Skip to main content

All Questions

Filter by
Sorted by
Tagged with
11 votes
2 answers
755 views

When does the forgetful functor from algebras over a monad commute with homotopy geometric realizations?

Let $\mathcal{C}$ be a combinatorial model category and $\mathrm{T}$ a monad on $\mathcal{C}.$ Assume that the model structure on $\mathcal{C}$ lifts to a model structure on the category of $\...
Hadrian Heine's user avatar
7 votes
2 answers
858 views

What are the algebras over $\Omega^k\Sigma^k$ ?

Let $Ho(Spc)$ be the homotopy category of spaces. There is an adjoint pair $$ \Sigma^k \colon Ho(Spc) \leftrightarrows Ho(Spc)\colon \Omega^k, $$ where $\Sigma^k$ is the $k$-th supension functor and $\...
Toribio Smith's user avatar
6 votes
2 answers
848 views

Monadicity theorem in homotopy theory.

Let $\mathbf{C}$ be a cofibrantly generated model category (assume for simplicity that all objects are fibrant) and $\mathbf{C}^{\mathrm{T}}$ the category of $\mathrm{T}$-algebras with the induced ...
Ilias A.'s user avatar
  • 1,974
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