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) \...
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 ...
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 $\...
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 ...
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 ...
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$-...
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:
...
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 ...
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 ...
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$...
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$-...
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 $...
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 ...
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 ...
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 ...