All Questions
Tagged with higher-category-theory operads
28
questions
5
votes
0
answers
199
views
The notion of $\infty$-Cooperads for which Bar-Cobar duality is an equivalence
In the paper Bar-Cobar Duality by Michael Ching, he proves that the category of operads in spectra is equivalent via the Bar-Cobar adjunction to some model category of co-operads defined in the paper. ...
- 7,689
9
votes
2
answers
390
views
Monoidal structures on modules over derived coalgebras
Given a Hopf-algebra $H$ (over a commutative ring), it is a classical fact that its category of (left) modules is monoidal, even if $H$ is not commutative. Given two left modules $M$ and $N$, we can ...
- 10.3k
3
votes
1
answer
116
views
Pseudo or lax algebras for a 2-monad, reference request
I would like to find explicit definitions of pseudo, or even lax, algebras for a 2-monad, and their lax morphisms, with all the coherence diagrams included.
Alternatively, coherent lax algebras for ...
- 2,129
6
votes
1
answer
352
views
Monadic interpretation of coalgebras over operads
The structure of an algebra $A$ over a operad $O$ is encoded by an operad morphisms from $O$ to $\{Hom(A^{\otimes k},\, A)\}_{k}$. The same structure can be stored using the structure $M_OA\to A$ of ...
- 537
8
votes
0
answers
238
views
Framed higher Hochschild cohomology
Given an $E_n$-algebra $A$, one can define its $E_n$-Hochschild complex $CH_{E_n}(A,A)$ by the formula $$Ch_{E_n}(A,A)=RHom_{Mod_A^{E_n}}(A,A)$$ where $Mod_A^{E_n}$ is the category of $A$-modules over ...
- 1,589
13
votes
1
answer
474
views
Is the operadic nerve functor an equivalence of ∞-categories?
It is now known that the $\infty$-category of $\infty$-operads as defined by Lurie is equivalent to the underlying $\infty$-category of the model category of simplicial operads, see http://arxiv.org/...
- 9,306
10
votes
2
answers
956
views
What are algebras for the little n-balls/n-cubes/n-something operads exactly?
As a non expert in the theory of topological operads, I find it pretty hard, to understand what algebras for little balls/cubes/something operads are.
For all the other famous operads I know (like ...
- 2,034
8
votes
0
answers
315
views
A model category for E-infty algebras in a non-monoidal model category?
Given a suitable nice symmetric monoidal category $C$, symmetric monoidally enriched, tensored, and cotensored over a symmetric monoidal category $S$, and an operad $\mathcal{O}$ in $S$, we can ...
- 27.3k
6
votes
2
answers
661
views
Obstructions for $E_n$-algebras
In Alan Robinson's paper, Classical Obstructions and S-algebras, he provides conditions for a ring spectrum to have an $A_n$ and $\mathbb{E}_\infty$-structure.
Have the obstructions for an object ...
user62675
11
votes
1
answer
834
views
$k$-Disk algebras versus $E_k$ algebras
Background:
The little $k$-cubes operad is the $(\infty,1)$-operad defined by embedding disjoint unions of $k$-dimensional open cubes rectilinearly into one another, that is using maps $(0,1)^k\...
- 748
5
votes
1
answer
712
views
Which E_∞-spaces are homotopy colimits of k-truncated E_∞-spaces?
This question is closely related to my previous question about modules over truncated sphere spectra, in particular, it has the same motivation.
Recall that every space (or ∞-groupoid) can be ...
- 37.2k
0
votes
0
answers
413
views
[]-infinity algebra and Projective representation
This is a very vague question.
We know that some algebra structures can be viewed as modules of some fantastic stuff, call T. Such examples include: Abelian groups are $\mathbb{Z}$-modules, chain ...
- 1,271
8
votes
1
answer
628
views
Is there a "derived" Free $P$-algebra functor for an operad $P$?
Recall that an operad (in vector spaces, say) $P$ consists of a collection of vector spaces $P(n)$ for $n\geq 0$, such that $P(n)$ is equipped with an action by the symmetric group $S_n$, with maps $P(...
- 53.5k