All Questions
4 questions
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 ...
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 $\...
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 ...
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 $\...