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 not deleted user 110

Enriched categories, topoi, abelian categories, monoidal categories, homological algebra.

2 votes

Aspherical operads

This needs some checking but for the free non-symmetric operad generated by a single operation in arity 2, the category (PRO) I think you get is the free monoidal category generated by a single object …
James Griffin's user avatar
16 votes

What is Koszul duality?

I'd really like to hear a complete answer to this question. I have my own idea and although I don't think it's a perfect answer to your question, perhaps it will help someone. There's a way of defini …
James Griffin's user avatar
1 vote
Accepted

Aspherical operads

I've left my original answer as some people may find it of interest. I have a candidate counterexample. The idea is to find a (non-symmetric) set operad in between the free operad $Free_2$ on a sing …
James Griffin's user avatar
2 votes
Accepted

How many operad structures are there on the symmetric sequence of simplices / finitely-suppo...

Abusing notation, write m for the uniform distribution on each finite set and define p o p' = m for any p, p' not equal to the identity. This is possibly a limit of operads of the formula you give wh …
James Griffin's user avatar
2 votes

When does the enveloping algebra functor lift to the category of bialgebras?

I was going to post this as a comment but rambled on too long. I haven't check the details of the following. To every operad $O$ there's an algebra $A(O)$ in the category of right $O$-modules create …
James Griffin's user avatar