KO | EN

GitLite

Minimalist Open Source Repository Search Engine

gitlite — search

#dsh #dsh-plugin #ai-agent #developer-tools #codex #typescript #cli #deepseek-harness #claude-code #ai-agents #mcp #rust

lambda-calculus-and-categories

★ 44 Open GitHub ↗

A repository for the material of my course on lambda-calculus and categories

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Lambda-Calculus and Categories
A repository for the material of my course on lambda-calculus and categories

Lesson 1: introduction to the course [[video](https://us02web.zoom.us/rec/share/n_pvSS5lHAaE5Dxmcb-gbmRv1DB4E_blgSg59DrYYFhuPuBwEbecLXBqEYx0Csql.5s63NimbikZWNaCp?startTime=1601054013000)][[notes](https://github.com/pamellies/lambda-calculus-and-categories/blob/master/LambdaCalculusAndCategories-OnlineNotes1.pdf)]

Lesson 2: categories, functors, natural transformations [[video](https://us02web.zoom.us/rec/play/5CDUO57ThFQqd5VR-ndW9Rs-c5SStqWCsOcmLW8RSZ7auuZDfVAGFVPZEzQPu_dcfu-WIfZ7l6uv3BGg.6QDbEKYscx2pygpn?continueMode=true&_x_zm_rtaid=fO3DpxSCQxKZXg7DIQCDPg.1602103420184.cd75d6cc607b1b576b4ad15deb3b3a04&_x_zm_rhtaid=364)][[notes](https://github.com/pamellies/lambda-calculus-and-categories/blob/master/LambdaCalculusAndCategories-OnlineNotes2.pdf)]

Lesson 3: the 2-category of categories [[video](https://us02web.zoom.us/rec/share/GelaTxF2_Z3sn0a4BiGPrrdb_QzdCk0Uj9TE7xkAXbvv-xsKdvU7zPOeckht5o8m.GMMyk2Nd5g_05_Oj?startTime=1602263396000)][[notes](https://github.com/pamellies/lambda-calculus-and-categories/blob/master/LambdaCalculusAndCategories-OnlineNotes3.pdf)]

Lesson 4: string diagrams and adjunctions [[video](https://us02web.zoom.us/rec/share/sd9VvkiE0BKzYjXVRINtv_xTL2EuHHeY3BOgPphFnRzxz6Z_ucj01b5_zOAXwuLb.gJ4woMHBeEoAtqkR?startTime=1602868393000)][[notes](https://github.com/pamellies/lambda-calculus-and-categories/blob/master/LambdaCalculusAndCategories-OnlineNotes4.pdf)]

Lesson 5: the free cartesian category [[video](https://us02web.zoom.us/rec/share/uZyllja_oVaeGNzB01Fp8i_3KVt7oZy_SJpl7KA7KJO-ygm4Q6PG9ap39sTAyLdF.6hB8Wu67CgISWiLe?startTime=1603473377000)][[notes](https://github.com/pamellies/lambda-calculus-and-categories/blob/master/LambdaCalculusAndCategories-OnlineNotes5.pdf)]

Lesson 6: introduction to the lambda-calculus [[video](https://us02web.zoom.us/rec/share/Q-k1P6ELj1vUco0Kpa56nNKyMEhcwGaiHfu82fSOBv3T7FOH8PWYM3sXQDzaLqcT.0pwY7eMtDFimpszF)][[notes 1](https://github.com/pamellies/lambda-calculus-and-categories/blob/master/LambdaCalculusAndCategories-OnlineNotes6a.pdf)][[notes 2](https://github.com/pamellies/lambda-calculus-and-categories/blob/master/LambdaCalculusAndCategories-OnlineNotes6b.pdf)]

Lesson 7: computing recursive functions using the untyped lambda-calculus [[video](https://us02web.zoom.us/rec/share/cJoaRpUYz2Pt7bjGSCNUG6oMo80nCsNXYt0sYpGxexJe-nJNIp7SW5IAgmr9e-nC.tRwWIq-u2I4jZHyR?startTime=1605512147000)][[notes](https://github.com/pamellies/lambda-calculus-and-categories/blob/master/LambdaCalculusAndCategories-OnlineNotes7.pdf)][[td](http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/cat/) + [video](https://us02web.zoom.us/rec/share/I9KcdKHX8mosludbEpQNLdwNYgv6-fQcJtwxOVvGFbrcoOSXLuO2m3qF72yVsgrt.98Jg__PmwJ1Kh13I?startTime=1605520163000)]

Lesson 8: the simply-typed lambda-calculus, Church encodings [[video](https://us02web.zoom.us/rec/share/lB9xePcWugwqcCRJKlSsNsBvnhETIBDL3TZZE7IC88JxxdsvBiAwHZel3gS7oL0b.XDoT5D9vOBCXVrv4?startTime=1606117306000)]
[[notes](https://github.com/pamellies/lambda-calculus-and-categories/blob/master/LambdaCalculusAndCategories-OnlineNotes8.pdf)]
[[td](http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/cat/) + [video](https://us02web.zoom.us/rec/share/lB9xePcWugwqcCRJKlSsNsBvnhETIBDL3TZZE7IC88JxxdsvBiAwHZel3gS7oL0b.XDoT5D9vOBCXVrv4?startTime=1606125095000)]

Lesson 9: the simply-typed lambda-calculus and cartesian closed categories
[[video](https://us02web.zoom.us/rec/share/w8-fvg3PI9dh694-piXasqn_V_kMWM76-pTWBjhqnUK4rXGCn0nrOQ3S89DQ9D6p.jAbZ22opzwtw414B?startTime=1606722074000)]
[[notes](https://github.com/pamellies/lambda-calculus-and-categories/blob/master/LambdaCalculusAndCategories-OnlineNotes9.pdf)]
[[td](http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/cat/) + [video](https://us02web.zoom.us/rec/share/w8-fvg3PI9dh694-piXasqn_V_kMWM76-pTWBjhqnUK4rXGCn0nrOQ3S89DQ9D6p.jAbZ22opzwtw414B?startTime=1606730263000)]

Lesson 10: the free cartesian closed category [[video](https://us02web.zoom.us/rec/share/M8txQy4y460uk9rWSkgaJhnhLLYpjcrJedmSzcQi4t28d1jeevUTWfygNFvV6K1N.nk9ugB-kD1Be-FA_?startTime=1607326574000)][[notes](https://github.com/pamellies/lambda-calculus-and-categories/blob/master/LambdaCalculusAndCategories-OnlineNotes10.pdf)]
[[td](http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/cat/) + [video](https://us02web.zoom.us/rec/share/2G0qildQYWHqge9e0QFk8VCQ2E4d3_3pHGKK6nC1OlkNNZWfAX6UYlcVhnyzP_HO.fi6n-xQvzF0QTVV6?startTime=1607334917000)]

Lesson 11: adjunctions in string diagrams [[video](https://us02web.zoom.us/rec/share/SRkMnGt4NlyV8bU_9X_NMTca9e2u2qngyTuSg-23Suv0lQyfZzo1MjHsZRV4jmFn.qDbKBsEfldgGcSJd?startTime=1607932120000)]
[[notes](https://github.com/pamellies/lambda-calculus-and-categories/blob/master/LambdaCalculusAndCategories-OnlineNotes11.pdf)]

Lesson 12: from adjunctions to monads [[video](https://us02web.zoom.us/rec/share/Bkewri8AXZnvJ1pld8bpgz6q-LTt7Fe2Ih2SrSnB1daFQ47uZOJznCQ6-aEazVxe.I8BtFTNeEgVN620d?startTime=1609746222000)]
[[notes](https://github.com/pamellies/lambda-calculus-and-categories/blob/master/LambdaCalculusAndCategories-OnlineNotes12.pdf)]
[[td](http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/cat/) + [video](https://us02web.zoom.us/rec/share/Bkewri8AXZnvJ1pld8bpgz6q-LTt7Fe2Ih2SrSnB1daFQ47uZOJznCQ6-aEazVxe.I8BtFTNeEgVN620d?startTime=1609753934000)]

Extra Lesson 12+1: from monads to adjunctions
[[video](https://us02web.zoom.us/rec/share/G2AsP2Dc4IkG9ms9bRrwZ7cjOG6uVxXFn7KVdJFJ9WNbI2srhE2UNyuLLluvCcST.k0Rvdootc9mAtG6w)]
[[notes](https://github.com/pamellies/lambda-calculus-and-categories/blob/master/LambdaCalculusAndCategories-OnlineNotes12plus1.pdf)]

Not treated here: limits, colimits, Kan extensions, presheaves, Yoneda embedding, coends, calculus of distributors

Alia: monads, comonads, monadic effects, computational lambda-calculus, polymorphic lambda-calculus, parametricity, theorems for free, lambda-calculus with dependent types, contextual categories

# Homeworks and exercises

TD 1 : cartesian categories [[td](https://github.com/pamellies/lambda-calculus-and-categories/blob/master/LambdaCalculusAndCategories-td-1-cartesian-categories.pdf)]

TD 2 : coproducts, pullbacks, monoids [[td](https://github.com/pamellies/lambda-calculus-and-categories/blob/master/LambdaCalculusAndCategories-td-2-coproducts-pullbacks-monoids.pdf)]

TD 3 : adjunctions [[td](https://github.com/pamellies/lambda-calculus-and-categories/blob/master/LambdaCalculusAndCategories-td-3-adjunctions.pdf)]

TD 4 : another equivalent formulation of adjunctions [[td](https://github.com/pamellies/lambda-calculus-and-categories/blob/master/LambdaCalculusAndCategories-td-4-another-formulation-of-adjunctions.pdf)]

TD 5 : equalizers, epi-mono factorization, first-order logic [[td](https://github.com/pamellies/lambda-calculus-and-categories/blob/master/LambdaCalculusAndCategories-td-5-regular-epi-mono.pdf)]

lambda-calculus-and-categories

Explore Similar Repositories

Was this content helpful?

Recent Feedback

Download README