All Questions
Tagged with monads homotopy-theory
12 questions
9
votes
1
answer
432
views
Two definitions of a monad on an ∞-category
In the literature on $\infty$-categories (quasi-categories) I found two different definitions of a monad on an $\infty$-category, and I don't understand the relation between them.
The first ...
- 15.9k
6
votes
0
answers
354
views
Cohomology without comonad?
TL;DR. Many cohomologies can be unified using comonads. Question: which cohomologies cannot be?
For each algebraic theory, there is an adjunction, and therefore a (co)monad (or called a (co)triple). ...
- 5,230
6
votes
2
answers
775
views
Why are simplicial objects monadic over split (contractible) simplicial objects?
Given an augmented simplicial object $d_\bullet:X_\bullet \to \Delta X_{-1}$, suppose there's a simplicial map $s_\bullet :\Delta X_{-1}\to X_\bullet$ making $d_\bullet$ a deformation retract, i.e ...
- 21.3k
4
votes
1
answer
205
views
Do (co)density (co)monadic constructions stablize?
Under good conditions [1], any functor $F: C \to D$ induces a codensity monad $T: D \to D$ as a right Kan extension of $F$ along itself. It does not say explicitly, but by considering left/right Kan ...
- 10.9k
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 ...
- 30.4k
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 $\...
- 37.8k
14
votes
2
answers
1k
views
The reflexive free-category comonad-resolution is a cofibrant replacement of the discrete simplicial category associated with an ordinary category in the Bergner model structure on the category of small simplicial categories?
Let $X$ be the category of reflexive quivers, and let $Cat$ be the category of small categories. There exists an evident forgetful functor $U:Cat\to X$ sending a category $A$ to its underlying ...
- 2,974
9
votes
1
answer
602
views
Intuition for density comonad in relation to lifting problems
In Emily Riehl's Categorical Homotopy Theory, there is a section on Garner's Small Object Argument which I'm trying and failing to understand. Originally I followed most of Garner's paper, using the ...
- 5,309
0
votes
1
answer
177
views
iterated loop spaces and configuration spaces [closed]
In the lecture notes by J.P. May, The geometry of iterated loop spaces, Chapter 5, formula (1), (2) and (10), a map
$$
\phi: Hom_T(X,\Omega Y)\to Hom_T(SX,Y)
$$
is defined. And a map
$$
\eta_n=\phi^{-...
- 25.3k
8
votes
0
answers
256
views
Whiskering a monad
In "The Geometry of Iterated Loop Spaces", May shows that any monad that is coming from an operad may be "whiskered", so that the unit map becomes a closed cofibration. The ability to do this is vital ...
- 163
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 ...
- 19.9k
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 $\...
- 56.9k