Skip to main content
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
Results tagged with
Search options questions only not deleted user 2362
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}) = \ …
Tim Campion's user avatar
  • 63.9k
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 …
Tim Campion's user avatar
  • 63.9k
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$? …
Tim Campion's user avatar
  • 63.9k
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. …
Tim Campion's user avatar
  • 63.9k
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. …
Tim Campion's user avatar
  • 63.9k
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? …
Tim Campion's user avatar
  • 63.9k
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 …
Tim Campion's user avatar
  • 63.9k
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 …
Tim Campion's user avatar
  • 63.9k
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 …
Tim Campion's user avatar
  • 63.9k