All Questions
Tagged with higher-category-theory operads
17
questions with no upvoted or accepted answers
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/...
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 ...
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 ...
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 ...
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 ...
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 $\...
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 ...
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 $...
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 ...
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. ...
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) \...
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 ...
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$-...