https://github.com/bgavran/Category_Theory_Resources

List of resources for learning Category Theory
https://github.com/bgavran/Category_Theory_Resources

Last synced: 3 months ago
JSON representation

List of resources for learning Category Theory

• Host: GitHub
• URL: https://github.com/bgavran/Category_Theory_Resources
• Owner: bgavran
• Created: 2021-11-19T10:25:28.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2023-09-30T14:43:39.000Z (about 1 year ago)
• Last Synced: 2024-06-30T08:04:07.288Z (5 months ago)
• Size: 9.77 KB
• Stars: 203
• Watchers: 10
• Forks: 13
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Category Theory Resources

A curated list of resources for studying category theory. As resources aimed at mathematicians are abundant, this list is aimed at materials whose target audience is not people with a graduate-level mathematics background. 

Let me know what's missing- preferably by creating a pull request!

# Blog posts

* [What is category theory, anyway?](https://www.math3ma.com/blog/what-is-category-theory-anyway)

* [On compositionality](https://julesh.com/2017/04/22/on-compositionality/)

* [From design patterns to category theory](https://blog.ploeh.dk/2017/10/04/from-design-patterns-to-category-theory/)

# Books

* [Seven Sketches in Compositionality: An Invitation to Applied Category Theory](https://arxiv.org/abs/1803.05316) by Fong, Spivak

* [Conceptual Mathematics: A First Introduction to Categories](https://s3.amazonaws.com/arena-attachments/325201/2ff932bf546d8985eb613fccf02b69c7.pdf) by Schanuel, Lawvere

* [Category theory for Programmers](https://github.com/hmemcpy/milewski-ctfp-pdf/) by Milewski

* [Polynomial Functors: A General Theory of Interaction](https://topos.site/poly-book.pdf) by Spivak, Niu

* [Draft of "Categorical Systems Theory"](http://davidjaz.com/Papers/DynamicalBook.pdf) by Jaz Myers

* [Category theory for the Sciences](https://mitpress.mit.edu/books/category-theory-sciences) by Spivak

* [What is Applied Category Theory?](https://arxiv.org/abs/1809.05923) by Bradley

* [The Joy of Abstraction](https://www.cambridge.org/core/books/joy-of-abstraction/00D9AFD3046A406CB85D1AFF5450E657) by Eugenia Cheng

# Lectures

* [John Baez's course on Applied Category Theory](https://math.ucr.edu/home/baez/act_course/)

* [Applied Category Theory at Topos Institute](https://www.youtube.com/watch?v=UusLtx9fIjs&list=PLhgq-BqyZ7i5lOqOqqRiS0U5SwTmPpHQ5)

* [The Catsters](https://www.youtube.com/user/TheCatsters)

* [Bartosz Milewski's video lectures](https://www.youtube.com/watch?v=I8LbkfSSR58&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_)

* [Programming with Categories](https://www.youtube.com/watch?v=NUBEB9QlNCM)

# Videos

* [Category Theory, The essence of interface-based design - Erik Meijer](https://www.youtube.com/watch?v=JMP6gI5mLHc)