All Questions
Tagged with higher-category-theory operads
28
questions
4
votes
0
answers
93
views
$E_k$-operads and actions on objects inside $k$-tuply monoidal $n$-category
I understood more or less the claim that $k$-tuply monoidal $n$-categories can be seen as $n$-categories equipped with an action of the $E_k$-operad.
For $k=2$, we have a homotopy equivalence $E_2(r) \...
- 1,743
11
votes
0
answers
159
views
Generalized $\infty$-operads are an analog of ??? in $\infty$-category theory
In Section 2.3.2 of Higher Algebra, Lurie introduces the notion of generalized $\infty$-operads. This is a functor $p:\mathcal{O}^\otimes \to \mathcal{F}\mathrm{in}_\ast$ of $\infty$-categories, where ...
- 2,154
6
votes
0
answers
142
views
A "lax Boardman-Vogt tensor product," or what object represents duoidal categories?
Let me preface this by saying I'm not sure what the fundamental examples should be, and perhaps that's part of my question.
The Boardman-Vogt tensor product of $\infty$-operads $\mathcal{O}$ and $\...
- 221
3
votes
2
answers
240
views
Is the free algebra functor over an $\infty$-operad symmetric monoidal?
Suppose $F: \mathcal{O}^\otimes \to \mathcal{P}^\otimes$ is a map of $\infty$-operads, and $\mathcal{C}$ is a symmetric monoidal $\infty$-category that admits small colimits, such that the tensor ...
- 894
5
votes
0
answers
323
views
What is an $\infty\text{-}E_{\infty}$ morphism?
My question is essentially what the title says, but here is some background that I have gathered from skimming through the literature. Please feel free to correct me if my understanding is wrong at ...
- 235
7
votes
1
answer
259
views
$(\infty,n)$-operads?
I wonder whether there is (or should be) a theory of colored $(\infty,n)$-operads or multicategories?
We know that multicategories are generalizations of categories, and nonsymmetric colored $\infty$-...
- 2,446
4
votes
0
answers
113
views
For which operads $O$ does $\operatorname{coAlg}_O(C) = C$ whenever $C$ is cartesian monoidal?
Let $O$ be an operad, and let $D$ be a symmetric monoidal category. Then there is a forgetful functor $\operatorname{Alg}_O(D) \to D$. This functor is an equivalence in either of the following cases:
...
- 62.6k
3
votes
0
answers
133
views
Transporting $\mathbb E_n$-monoidal structures between categories
Suppose given an $\mathbb E_n$-monoidal presentable $\infty$-category $\mathcal C$ (wrt. the Lurie tensor product $\otimes$), and $\mathcal D$ a presentable $\infty$-category. Suppose given a pair of ...
- 435
3
votes
0
answers
133
views
Riemann-Hilbert-type correspondence for locally constant factorization algebras
This is related to a previous post, but a bit softer and should probably stand on its own.
In Appendix A of "Higher Algebra", Lurie shows that for a reasonably good topological space, there ...
- 894
6
votes
1
answer
386
views
$\mathbb{E}_M$ as colimit of little cubes operads
In Lurie's "Higher Algebra", Remark 5.4.5.2 towards the end, there is the following statement: "It follows that $\mathbb{E}_M$ can be identified with the colimit of a diagram of $\infty$...
- 894
3
votes
0
answers
182
views
Augmented algebras over $\infty$-operads via the envelope
Let $\mathcal{O}^\otimes$ be an $\infty$-operad and $\mathcal{C}^\otimes$ a symmetric monoidal $\infty$-category, both in the sense of Lurie's Higher Algebra.
By augmented $\mathcal{O}^\otimes$-...
- 1,072
5
votes
0
answers
136
views
Definition of $E_{n}$-operad in dgCat
In "Derived Algebraic Geometry and Deformation Quantization" Toën defines in 5.1.2 an $E_{n}$-monoidal A-linear dg-category as an $E_{n}$-monoid in the symmetric monoidal $\infty$-category $...
- 1,447
2
votes
0
answers
176
views
What is an invertible operad?
Let $\mathcal V$ be a nice symmetric monoidal ($\infty$-)category, and consider the ($\infty$-)category $Op(\mathcal V)$ of $\mathcal V$-enriched (symmetric) operads, symmetric monoidal under the ...
- 62.6k
7
votes
0
answers
207
views
Higher categorical / operadic approach to homotopy associative, homotopy commutative, $H_\infty$ ring spectra?
Let $\mathcal C$ be a symmetric monoidal $\infty$-category, and let $O$ be an operad (for example, $O$ could be an $A_m$ or $E_n$ operad or a tensor product thereof, and $\mathcal C$ could be spaces ...
- 62.6k
5
votes
0
answers
103
views
Is there a n-category structure on algebras for $e_n$-like operads?
I'm fishing in troubled waters here and therefore the question is vague and meant to be as general as possible. In particular "$e_n$-like operad" can be an algebraic or topological $e_n$ operad, as ...
- 2,034
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