opetopes, rewriting, and koszulity · higher-dimensional algebra. iii. n-categories and the algebra...
TRANSCRIPT
![Page 1: Opetopes, rewriting, and koszulity · Higher-dimensional algebra. III. n-categories and the algebra of opetopes. Adv. Math., 135(2):145–206, 1998. Eugenia Cheng. The category of](https://reader034.vdocuments.net/reader034/viewer/2022042313/5edc717fad6a402d66671a43/html5/thumbnails/1.jpg)
Opetopes, rewriting, and koszulity
Cédric Ho Thanh1
Directed by Pierre-Louis Curien2 and Samuel Mimram3
November 6, 20171INSPIRE 2017 FellowThis project has received funding from the European Union’s Horizon 2020 research and innovation programme underthe Marie Skłodowska-Curie grant agreement No 665850
2PPS, IRIF, Paris Diderot University
3LIX, École Polytechnique
1
![Page 2: Opetopes, rewriting, and koszulity · Higher-dimensional algebra. III. n-categories and the algebra of opetopes. Adv. Math., 135(2):145–206, 1998. Eugenia Cheng. The category of](https://reader034.vdocuments.net/reader034/viewer/2022042313/5edc717fad6a402d66671a43/html5/thumbnails/2.jpg)
Opetopes
Geometric shapes (akin to simplices) expressing pasting diagrams.A (n + 1)-opetope is a way of pasting n-opetopes.
Examples
2
![Page 3: Opetopes, rewriting, and koszulity · Higher-dimensional algebra. III. n-categories and the algebra of opetopes. Adv. Math., 135(2):145–206, 1998. Eugenia Cheng. The category of](https://reader034.vdocuments.net/reader034/viewer/2022042313/5edc717fad6a402d66671a43/html5/thumbnails/3.jpg)
Opetopes
Geometric shapes (akin to simplices) expressing pasting diagrams.A (n + 1)-opetope is a way of pasting n-opetopes.Examples
2
![Page 4: Opetopes, rewriting, and koszulity · Higher-dimensional algebra. III. n-categories and the algebra of opetopes. Adv. Math., 135(2):145–206, 1998. Eugenia Cheng. The category of](https://reader034.vdocuments.net/reader034/viewer/2022042313/5edc717fad6a402d66671a43/html5/thumbnails/4.jpg)
Higher category theory
Opetopes were originally used as shapes of cells for weakn-categories (n ≤ ω) [BD98], [Che04].
Universal cells define anunbiased composition:
If the pasting diagram (α, β, γ) have a universal filler θ, then itstarget δ is the weak composite.
3
![Page 5: Opetopes, rewriting, and koszulity · Higher-dimensional algebra. III. n-categories and the algebra of opetopes. Adv. Math., 135(2):145–206, 1998. Eugenia Cheng. The category of](https://reader034.vdocuments.net/reader034/viewer/2022042313/5edc717fad6a402d66671a43/html5/thumbnails/5.jpg)
Higher category theory
Opetopes were originally used as shapes of cells for weakn-categories (n ≤ ω) [BD98], [Che04]. Universal cells define anunbiased composition:
If the pasting diagram (α, β, γ) have a universal filler θ, then itstarget δ is the weak composite.
3
![Page 6: Opetopes, rewriting, and koszulity · Higher-dimensional algebra. III. n-categories and the algebra of opetopes. Adv. Math., 135(2):145–206, 1998. Eugenia Cheng. The category of](https://reader034.vdocuments.net/reader034/viewer/2022042313/5edc717fad6a402d66671a43/html5/thumbnails/6.jpg)
Rewriting
• Higher-dimensional rewriting is usually based on polygraphs(Burroni, Street, Lafont, Guiraud, Malbos, Mimram, ...).
• Opetopes appear sufficiently restricted to have nice properties,while general enough to encompass most abstract concepts.
• Goal: study opetopes from the point of view ofhigher-dimensional rewriting theory.
Theorem
• The category of n-polygraphs (n > 2) is not a presheafcategory [Che12].
• The category of opetopic sets is equivalent to the category of“many-to-one” polygraphs. (The “many-to-many” aspect ofgeneral polygraphs can cause problems for checkingconfluence)
4
![Page 7: Opetopes, rewriting, and koszulity · Higher-dimensional algebra. III. n-categories and the algebra of opetopes. Adv. Math., 135(2):145–206, 1998. Eugenia Cheng. The category of](https://reader034.vdocuments.net/reader034/viewer/2022042313/5edc717fad6a402d66671a43/html5/thumbnails/7.jpg)
Rewriting
• Higher-dimensional rewriting is usually based on polygraphs(Burroni, Street, Lafont, Guiraud, Malbos, Mimram, ...).
• Opetopes appear sufficiently restricted to have nice properties,while general enough to encompass most abstract concepts.
• Goal: study opetopes from the point of view ofhigher-dimensional rewriting theory.
Theorem
• The category of n-polygraphs (n > 2) is not a presheafcategory [Che12].
• The category of opetopic sets is equivalent to the category of“many-to-one” polygraphs. (The “many-to-many” aspect ofgeneral polygraphs can cause problems for checkingconfluence)
4
![Page 8: Opetopes, rewriting, and koszulity · Higher-dimensional algebra. III. n-categories and the algebra of opetopes. Adv. Math., 135(2):145–206, 1998. Eugenia Cheng. The category of](https://reader034.vdocuments.net/reader034/viewer/2022042313/5edc717fad6a402d66671a43/html5/thumbnails/8.jpg)
Rewriting
• Higher-dimensional rewriting is usually based on polygraphs(Burroni, Street, Lafont, Guiraud, Malbos, Mimram, ...).
• Opetopes appear sufficiently restricted to have nice properties,while general enough to encompass most abstract concepts.
• Goal: study opetopes from the point of view ofhigher-dimensional rewriting theory.
Theorem
• The category of n-polygraphs (n > 2) is not a presheafcategory [Che12].
• The category of opetopic sets is equivalent to the category of“many-to-one” polygraphs. (The “many-to-many” aspect ofgeneral polygraphs can cause problems for checkingconfluence)
4
![Page 9: Opetopes, rewriting, and koszulity · Higher-dimensional algebra. III. n-categories and the algebra of opetopes. Adv. Math., 135(2):145–206, 1998. Eugenia Cheng. The category of](https://reader034.vdocuments.net/reader034/viewer/2022042313/5edc717fad6a402d66671a43/html5/thumbnails/9.jpg)
Rewriting
• Higher-dimensional rewriting is usually based on polygraphs(Burroni, Street, Lafont, Guiraud, Malbos, Mimram, ...).
• Opetopes appear sufficiently restricted to have nice properties,while general enough to encompass most abstract concepts.
• Goal: study opetopes from the point of view ofhigher-dimensional rewriting theory.
Theorem
• The category of n-polygraphs (n > 2) is not a presheafcategory [Che12].
• The category of opetopic sets is equivalent to the category of“many-to-one” polygraphs. (The “many-to-many” aspect ofgeneral polygraphs can cause problems for checkingconfluence)
4
![Page 10: Opetopes, rewriting, and koszulity · Higher-dimensional algebra. III. n-categories and the algebra of opetopes. Adv. Math., 135(2):145–206, 1998. Eugenia Cheng. The category of](https://reader034.vdocuments.net/reader034/viewer/2022042313/5edc717fad6a402d66671a43/html5/thumbnails/10.jpg)
Rewriting
• Higher-dimensional rewriting is usually based on polygraphs(Burroni, Street, Lafont, Guiraud, Malbos, Mimram, ...).
• Opetopes appear sufficiently restricted to have nice properties,while general enough to encompass most abstract concepts.
• Goal: study opetopes from the point of view ofhigher-dimensional rewriting theory.
Theorem
• The category of n-polygraphs (n > 2) is not a presheafcategory [Che12].
• The category of opetopic sets is equivalent to the category of“many-to-one” polygraphs. (The “many-to-many” aspect ofgeneral polygraphs can cause problems for checkingconfluence)
4
![Page 11: Opetopes, rewriting, and koszulity · Higher-dimensional algebra. III. n-categories and the algebra of opetopes. Adv. Math., 135(2):145–206, 1998. Eugenia Cheng. The category of](https://reader034.vdocuments.net/reader034/viewer/2022042313/5edc717fad6a402d66671a43/html5/thumbnails/11.jpg)
Koszul duality
• Originally stated for associative algebras.
• Lifted to the operadic context [GK94].• We want to it lift further to the level of opetopes.
5
![Page 12: Opetopes, rewriting, and koszulity · Higher-dimensional algebra. III. n-categories and the algebra of opetopes. Adv. Math., 135(2):145–206, 1998. Eugenia Cheng. The category of](https://reader034.vdocuments.net/reader034/viewer/2022042313/5edc717fad6a402d66671a43/html5/thumbnails/12.jpg)
Koszul duality
• Originally stated for associative algebras.• Lifted to the operadic context [GK94].
• We want to it lift further to the level of opetopes.
5
![Page 13: Opetopes, rewriting, and koszulity · Higher-dimensional algebra. III. n-categories and the algebra of opetopes. Adv. Math., 135(2):145–206, 1998. Eugenia Cheng. The category of](https://reader034.vdocuments.net/reader034/viewer/2022042313/5edc717fad6a402d66671a43/html5/thumbnails/13.jpg)
Koszul duality
• Originally stated for associative algebras.• Lifted to the operadic context [GK94].• We want to it lift further to the level of opetopes.
5
![Page 14: Opetopes, rewriting, and koszulity · Higher-dimensional algebra. III. n-categories and the algebra of opetopes. Adv. Math., 135(2):145–206, 1998. Eugenia Cheng. The category of](https://reader034.vdocuments.net/reader034/viewer/2022042313/5edc717fad6a402d66671a43/html5/thumbnails/14.jpg)
Koszulity and rewriting
• Strong links between koszulity and convergence (Berger,Hoffbeck, Dotsenko, ...).
• Homological finiteness conditions for rewriting systems (Squiertheory [SOK94]). Koszulity ⇝ easy to compute homology.
• Operads encode algebras, opetopes encode operads, opetopesencode opetopes. Opetopic koszulity would be in a sense“most general”.
6
![Page 15: Opetopes, rewriting, and koszulity · Higher-dimensional algebra. III. n-categories and the algebra of opetopes. Adv. Math., 135(2):145–206, 1998. Eugenia Cheng. The category of](https://reader034.vdocuments.net/reader034/viewer/2022042313/5edc717fad6a402d66671a43/html5/thumbnails/15.jpg)
Koszulity and rewriting
• Strong links between koszulity and convergence (Berger,Hoffbeck, Dotsenko, ...).
• Homological finiteness conditions for rewriting systems (Squiertheory [SOK94]). Koszulity ⇝ easy to compute homology.
• Operads encode algebras, opetopes encode operads, opetopesencode opetopes. Opetopic koszulity would be in a sense“most general”.
6
![Page 16: Opetopes, rewriting, and koszulity · Higher-dimensional algebra. III. n-categories and the algebra of opetopes. Adv. Math., 135(2):145–206, 1998. Eugenia Cheng. The category of](https://reader034.vdocuments.net/reader034/viewer/2022042313/5edc717fad6a402d66671a43/html5/thumbnails/16.jpg)
Koszulity and rewriting
• Strong links between koszulity and convergence (Berger,Hoffbeck, Dotsenko, ...).
• Homological finiteness conditions for rewriting systems (Squiertheory [SOK94]). Koszulity ⇝ easy to compute homology.
• Operads encode algebras, opetopes encode operads, opetopesencode opetopes. Opetopic koszulity would be in a sense“most general”.
6
![Page 17: Opetopes, rewriting, and koszulity · Higher-dimensional algebra. III. n-categories and the algebra of opetopes. Adv. Math., 135(2):145–206, 1998. Eugenia Cheng. The category of](https://reader034.vdocuments.net/reader034/viewer/2022042313/5edc717fad6a402d66671a43/html5/thumbnails/17.jpg)
To summarize
• Study higher rewriting with opetopes.• Study rewriting of opetopes.• Develop homological and homotopical machinery.
7
![Page 18: Opetopes, rewriting, and koszulity · Higher-dimensional algebra. III. n-categories and the algebra of opetopes. Adv. Math., 135(2):145–206, 1998. Eugenia Cheng. The category of](https://reader034.vdocuments.net/reader034/viewer/2022042313/5edc717fad6a402d66671a43/html5/thumbnails/18.jpg)
Thank you for your attention
8
![Page 19: Opetopes, rewriting, and koszulity · Higher-dimensional algebra. III. n-categories and the algebra of opetopes. Adv. Math., 135(2):145–206, 1998. Eugenia Cheng. The category of](https://reader034.vdocuments.net/reader034/viewer/2022042313/5edc717fad6a402d66671a43/html5/thumbnails/19.jpg)
References i
John C. Baez and James Dolan.Higher-dimensional algebra. III. n-categories and thealgebra of opetopes.Adv. Math., 135(2):145–206, 1998.
Eugenia Cheng.The category of opetopes and the category of opetopicsets.Theory Appl. Categ., 11:No. 16, 353–374, 2003.Eugenia Cheng.Weak n-categories: opetopic and multitopic foundations.J. Pure Appl. Algebra, 186(2):109–137, 2004.
9
![Page 20: Opetopes, rewriting, and koszulity · Higher-dimensional algebra. III. n-categories and the algebra of opetopes. Adv. Math., 135(2):145–206, 1998. Eugenia Cheng. The category of](https://reader034.vdocuments.net/reader034/viewer/2022042313/5edc717fad6a402d66671a43/html5/thumbnails/20.jpg)
References ii
E. Cheng.A direct proof that the category of 3-computads is notcartesian closed.ArXiv e-prints, September 2012.Eugenia Cheng and Aaron Lauda.Higher-Dimensional Categories: an illustrated guidebook.Victor Ginzburg and Mikhail Kapranov.Koszul duality for operads.Duke Math. J., 76(1):203–272, 1994.
10
![Page 21: Opetopes, rewriting, and koszulity · Higher-dimensional algebra. III. n-categories and the algebra of opetopes. Adv. Math., 135(2):145–206, 1998. Eugenia Cheng. The category of](https://reader034.vdocuments.net/reader034/viewer/2022042313/5edc717fad6a402d66671a43/html5/thumbnails/21.jpg)
References iii
Joachim Kock, André Joyal, Michael Batanin, andJean-François Mascari.Polynomial functors and opetopes.Advances in Mathematics, 224(6):2690–2737, 2010.
Tom Leinster.Higher operads, higher categories.
Craig C. Squier, Friedrich Otto, and Yuji Kobayashi.A finiteness condition for rewriting systems.Theoret. Comput. Sci., 131(2):271–294, 1994.
11