Symmetric operads from a planar point of view SMJMAQ2S3J

URI	`m2://res/SMJMAQ2S3J`
Kind	preprint
Creators	Brice Le Grignou, Victor Roca i Lucio
Date	2023-12-08
MSC	55-XX
Subjects	arxiv math.AT
Scope	in

Expressions

e1: version, preprint

Language	en
Date	2023-12-08
Ids	arXiv 2312.05005

Items in this resource

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
116DQ8E9SN	statement	proposition 8	arxiv
Planar endofunctor of a sub-groupoid	definition	definition 15	arxiv
2A4HWKWC32	statement	corollary 1	arxiv
Coradical filtration	definition	definition 7	arxiv
38GD6ZB2NP	statement	proposition 6	arxiv
3DM6HGC075	statement	proposition 13	arxiv
3DR2CXK0SB	statement	corollary 6	arxiv
Grafting tree	definition	definition 28	arxiv
47VV8E4RJW	statement	proposition 7	arxiv
Quotient tree	definition	definition 27	arxiv
5ECSYCVFYB	statement	lemma 3	arxiv
5M4N8V7VTW	statement	corollary 5	arxiv
64VS5M4TNN	statement	proposition 14	arxiv
Conilpotent planar dg cooperad	definition	definition 6	arxiv
Planar tree	definition	definition 20	arxiv
Coaugmented planar dg cooperad	definition	definition 5	arxiv
7KZ8WEEM1Z	statement	proposition 9	arxiv
8Q6J8FP3CM	statement	theorem 1	arxiv
The tree monad	definition	definition 16	arxiv
9063N5RDDQ	statement	lemma 7	arxiv
Coaugmented dg cooperad	definition	definition 13	arxiv
Tree isomorphisms	definition	definition 22	arxiv
9M4E11KM4Y	statement	corollary 2	arxiv
9TEF5QZZVK	statement	proposition 11	arxiv
Augmented dg operad	definition	definition 11	arxiv
CMSV53B7T7	statement	lemma 2	arxiv
CSVP5FP876	statement	corollary 3	arxiv
DDB6X1M096	statement	theorem 2	arxiv
E3DTKNHC02	statement	lemma 5	arxiv
EQ8WJK4KGD	statement	lemma 6	arxiv
dg cooperad	definition	definition 12	arxiv
FTC668XR4V	statement	proposition 17	arxiv
dg operad	definition	definition 10	arxiv
H3Z25HCXVJ	statement	proposition 3	arxiv
H5VFFKAGV6	statement	proposition 2	arxiv
Trivial tree	definition	definition 24	arxiv
Planar dg cooperad	definition	definition 4	arxiv
Partition of trees	definition	definition 26	arxiv
Endofunctor of a sub-groupoid	definition	definition 17	arxiv
Augmented planar dg operad	definition	definition 3	arxiv
KVWXAVKJZ1	statement	corollary 4	arxiv
Conilpotent dg cooperad	definition	definition 18	arxiv
MRQ0P8CGGJ	statement	proposition 12	arxiv
Subtree	definition	definition 25	arxiv
MW812M7KAX	statement	lemma 1	arxiv
MWB7CC9EYX	statement	proposition 4	arxiv
dg $\mathbb S$-module	definition	definition 8	arxiv
NPWQBHH5TB	definition	definition Notation	arxiv
Planar dg operad	definition	definition 2	arxiv
PJ70M8SYSY	statement	proposition 10	arxiv
R2RRS8802N	statement	proposition 1	arxiv
RC7BX0RYE4	statement	proposition 15	arxiv
The tree intertwining map	definition	definition 14	arxiv
SM1NQR9R9Z	statement	lemma 4	arxiv
Coradical filtration	definition	definition 19	arxiv
TWGVF2NH3H	statement	proposition 16	arxiv
dg $\mathbb N$-modules	definition	definition 1	arxiv
Node	definition	definition 21	arxiv
Tree groupoids	definition	definition 23	arxiv
YDZZG6H5TM	statement	proposition 5	arxiv
Composition product	definition	definition 9	arxiv

Catalogue records

arxiv: 2312.05005 (work)
arxiv_text: 2312.05005 (work)