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 answers only not deleted user 14447
13 votes

What are natural questions to ask about an operad?

A pair of brief papers "Definitions: operads, algebras and modules" and "Operads, algebras and modules", which are available at http://www.math.uchicago.edu/~may/PAPERS/mayi.pdf and http://www.math.uchicago.edu … Benoit Fresse's book "Modules over operads and functors" gives a quite different take on operads, with a focus on modules over algebras over operads. …
Peter May's user avatar
  • 30.4k
3 votes

Is it possible to construct an action of an $E_\infty$ operad on $BU$ that respects filtrati...

let me give a possibly helpful "answer" by ancient history. Since I don't actually have an answer, these should be comments, but they are too long for that. In Section 1 of Chapter I of "$E_{\inft …
Peter May's user avatar
  • 30.4k
8 votes
Accepted

Functoriality of infinite loop space machines?

Here is a nice gentle old-fashioned answer. Symmetric monoidal categories are functorially equivalent as symmetric monoidal categories to permutative (symmetric strict monoidal) categories, and thos …
Peter May's user avatar
  • 30.4k
2 votes

How universal is operadic approach to studying algebras?

I put in a remark about this question back in 2013. I'm going to expand on that for emphasis. Let me shamelessly quote myself, from the expository paper http://www.math.uchicago.edu/~may/PAPERS/mayi. …
Peter May's user avatar
  • 30.4k
10 votes

Non-$\Sigma$ $E_n$ algebras?

Justin, that is a cute question, and I've never thought about it. One starting thought free guess (acting on connected spaces) is that a non-$\Sigma$ $C_n$-space has $n$ possibly inequivalent but def …
Peter May's user avatar
  • 30.4k
21 votes
Accepted

In what sense are operads "better" than PROPs?

Operads are of course equivalent to a special kind of PROP, and the specialization made it very much easier to find operad actions. … The connection with monads was intrinsic to the definition of operads (I convinced Mac Lane to switch from "triples'' to "monads" in Categories for the Working Mathematician in large part in order to make …
Peter May's user avatar
  • 30.4k
9 votes
Accepted

Are $E_n$-operads not formal in characteristic not equal to zero?

Ok, Sean. I'll write in terms of homology operations. Let $\mathcal C$ be any $\Sigma$-free operad, in spaces or in chain complexes, makes no real difference to the answer. For definiteness, take c …
Peter May's user avatar
  • 30.4k
4 votes

$E_n$-space and n-connected pointed space

Denis and ``Ring Spectra'', thanks for the references. I did not treat non-connected spaces in "The geometry of iterated loop spaces", which is why you couldn't find that there. It should have been t …
Peter May's user avatar
  • 30.4k
6 votes

Delooping and unreduced operads

Let me refer you to Section 7 of a recently posted paper by Guillou and myself where certain operads P, Q, and R are defined and related. … I would bet that there are operads like P, maybe your P itself, which act on spaces that even have non-Abelian fundamental groups. Just a hunch. Sorry not to be more helpful. …
Peter May's user avatar
  • 30.4k
9 votes
Accepted

$E_{\infty}$ spaces are $A_{\infty}$ spaces

The map $\pi_2$ of your question is a very special case; note that $\mathcal M$ as I defined it is an operad as I defined operads, with $\Sigma_j$ acting on $\mathcal M(j)$. … Model categories are extremely important but entirely irrelevant here, and taking cofibrant approximations of operads tends to destroy their relevant individuality: different $E_{\infty}$ operads play …
Peter May's user avatar
  • 30.4k
12 votes

Monad arising from operad

Operads are definable in any symmetric monoidal category. They always have associated monads in that category such that the categories of algebras over the operad and monad are isomorphic. … That relationship between operads and monads motivated my coining of the word "operad'', back in 1971. …
Peter May's user avatar
  • 30.4k
4 votes
Accepted

How strong is the condition that an operad splits, i.e. O(n)=O(s)xO(n-s)?

Consider reduced operads in a cartesian monoidal category, so that $C(0) = \ast$. A monoid $M$ in our category gives a reduced operad $R(M)$ with $j$th object $M^j$. … The isomorphism of hom sets uses the degeneracy operators that are there because we are working with reduced operads. Obviously $LR= id$. Very often $id\to RL$ is an inclusion. …
Peter May's user avatar
  • 30.4k
15 votes

Algebras over the little disks operad

By the way, there is an inherent flaw in the little discs operads $\mathcal{D}_n$, namely there is no map of operads $\mathcal{D}_n\longrightarrow \mathcal{D}_{n+1}$ that is compatible with suspension … The Steiner operads have all the good properties of both the $\mathcal{C}_n$ and the $\mathcal{D}_n$. …
Peter May's user avatar
  • 30.4k
1 vote

Operad terminology - Operads with and without O(0).

A 2020 paper Operads, monoids, monads, and bar constructions by Ruozi Zhang, Foling Zou, and J.P. … The cited paper shows that unital operads admit an interesting variant of Kelley's interpretation of operads as monoids in a certain monoidal category, and that reinterpretation is seriously interesting …
Peter May's user avatar
  • 30.4k
15 votes
Accepted

Classifying spaces of E_1 - spaces

From the horse's mouth. I would think a good theory of parametrized $E_1$-spaces should not be too hard to develop, along the general lines of parametrized spaces (and spectra) as developed ad naus …
Peter May's user avatar
  • 30.4k

15 30 50 per page