Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
11
votes
1
answer
359
views
Conceptual (operadic?) reason for the generalized EHP fiber sequence $J_{q-1}(S^{2n}) \to J ...
Let $q$ be a prime and $q=p^r$ a power. Then there is a $p$-local fiber sequence from the $q-1$st stage of the James construction on $S^{2n}$, to $J(S^{2n}) = \Omega \Sigma S^{2n}$, to $J(S^{2nq}) = \ …
9
votes
0
answers
228
views
What is the operad for homotopy associative, homotopy commutative objects?
There is an operad whose algebras are objects with a homotopy unital multiplication -- the $A_2$ operad.
There is an operad whose algebras are objects with a homotopy unital, homotopy associative obje …
2
votes
0
answers
176
views
What is an invertible operad?
Question:
Is there a classification of $\mathcal V$-operads which are $\otimes_{BV}$-invertible? … That is, for which operads $O \in Op(\mathcal V)$ does there exist $P \in Op(\mathcal V)$ such that $O \otimes_{BV} P = Comm$? …
4
votes
0
answers
113
views
For which operads $O$ does $\operatorname{coAlg}_O(C) = C$ whenever $C$ is cartesian monoidal?
Question: For which operads $O$ does the statement
For all cocartesian monoidal $D$, the forgetful functor $\operatorname{Alg}_O(D) \to D$ is an equivalence.
hold? … And I'd be interested to understand the case of enriched operads as well. …
11
votes
3
answers
242
views
How many operad structures are there on the symmetric sequence of simplices / finitely-suppo...
Certainly these operads are implicit in countless mathematical pursuits. …
19
votes
2
answers
976
views
Does Koszul duality between $Comm$ and $Lie$ imply the power series identity $\exp(\ln(1-z))...
On the other hand, these operads are Koszul dual (and perhaps the sign corresponds to the shift that appears in Koszul duality?). … More concretely, is it the case (under certain conditions, perhaps) that Koszul dual operads have inverse generating functions, up to some sign? …
7
votes
0
answers
272
views
Is it a coincidence that $Gal(\mathbb C / \mathbb R) \cong C_2 \cong Aut(E_1)$? (Or: why are...
The automorphism group $Aut(E_1)$ of the $E_1$ operad is the cyclic group of order 2, $C_2$, and thus $C_2$ acts on any category of algebras (by reversing the multiplication). The seeming coincidence …
8
votes
1
answer
446
views
Is there something "Koszul dual" to formal groups?
The Lie operad is Koszul dual to the commutative operad. In some sense, the data of a formal group is an "elaboration" of the data of a Lie algebra. Is there some corresponding "elaboration" of the da …
7
votes
0
answers
207
views
Higher categorical / operadic approach to homotopy associative, homotopy commutative, $H_\in...
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 o …