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 21965
3 votes
0 answers
46 views

PBW / Gröbner basis analog for quadratic cooperads

Suppose we work with symmetric sequences over a suitable monoidal category. Given quadratic data $(E,R)$ PBW and Gröbner bases are of great practical importance to understand the quadratic operad $\m …
Mark.Neuhaus's user avatar
  • 2,064
2 votes
1 answer
144 views

Is there a Hopf structure on the dg-endomorphism operad?

This is a short question: In the symmetric monoidal category of chain complexes (over a field if necessary), does the endomorphism operad carries a Hopf structure, i.o.w. can it be considered as a H …
Mark.Neuhaus's user avatar
  • 2,064
1 vote
0 answers
80 views

Morphism from the Koszul associative cooperad into the Koszul Lie cooperad?

This however is not true, since both $\mathcal{A}ss$ as well as $\mathcal{C}om$ are finite dimensional in each arity and there is no morphism of operads $\mathcal{C}om\to\mathcal{A}ss$. …
Mark.Neuhaus's user avatar
  • 2,064
4 votes
0 answers
104 views

Invert quasi-isomorphisms of symmetric cooperads

The theory of symmetric operads in chain complexes (say over a good enough field) is in some sense nice, because we have a well defined homotopy theory. … In particular we have a notion of infinity-morphisms of operads (maybe called homotopy morphisms instead), which can be defined as a cooperad map between the appropriate bar constructions of the operads
Mark.Neuhaus's user avatar
  • 2,064
2 votes
0 answers
113 views

Algebras for (Koszul) Hopf operads

If necessary, we can restrict the following to the case where we consider only Hopf (co)operads in the category of chain complexes over fields of characteristic zero. … In case of ordinary operads, their algebras can be defined as operad maps. …
Mark.Neuhaus's user avatar
  • 2,064
5 votes
0 answers
104 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 fo …
Mark.Neuhaus's user avatar
  • 2,064
2 votes
0 answers
101 views

Does the totality of $E_n$-operads in a given category has any interesting structure?

Moreover we have a model structure for operads, we can speak about homotopy operads, infinity morphism of operads ect. In such a setting. … Is there any interesting structure on the set of all possible (homotopy) $E_n$-operads? I know, this question is far from being precise. …
Mark.Neuhaus's user avatar
  • 2,064
1 vote
0 answers
106 views

Proof-verification: Existence of an explicit formality morphism from the Barratt-Eccles Kosz...

2$, let $\mathcal{E}_{n}$ be the $E_{n}$-suboperad of the Barratt-Eccles operad $\mathcal{E}$, $\mathcal{E}_{n}^{i}$ its Koszul dual cooperad in the sense described in the paper "Koszul duality of En-operads … Proof: Since $\mathcal{E}_{n}$ is an $E_{n}$-operad, by the definition of $E_{n}$-operads there is a zig-zag of quasi-isomorphisms of dg-operads $ \mathcal{E}_{n}\overset{\simeq}{\longleftarrow}\bullet …
Mark.Neuhaus's user avatar
  • 2,064
1 vote
0 answers
96 views

Transformation of operad algebras

Suppose we have two dg symmetric Koszul operads, say $O_1$ and $O_2$. …
Mark.Neuhaus's user avatar
  • 2,064
11 votes
2 answers
569 views

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

This is a short question: Is it just unproven folklore (yet), or is it definitively known that $E_n$-operads are not formal, if the characteristic of the underlying field is not equal to zero? …
Mark.Neuhaus's user avatar
  • 2,064
10 votes
2 answers
991 views

What are algebras for the little n-balls/n-cubes/n-something operads exactly?

As a non expert in the theory of topological operads, I find it pretty hard, to understand what algebras for little balls/cubes/something operads are. … operads. …
Mark.Neuhaus's user avatar
  • 2,064
7 votes
0 answers
421 views

What is the endomorphism cooperad?

In Loday and Vallette's book on algebraic operads, they use the "Endomorphism cooperad $End^c_{s\mathbb{K}}$", where $s\mathbb{K}$ is the base field, shifted into (homological) degree one. …
Mark.Neuhaus's user avatar
  • 2,064