Category-Theory-Notes
Category-Theory-Notes copied to clipboard
Published
20 hours ago •
jaybutera
jaybutera
Notes on Category Theory For Programmers by Bartosz Milewski
Notes on Category Theory For Programmers
by Bartosz Milewski
The course is a free lecture series on YouTube
Also check out Milewski's Basics of Haskell
And his online book: Category Theory for Programmers
| Notes | Video | Challenges |
|---|---|---|
| Introduction | https://www.youtube.com/watch?v=I8LbkfSSR58&index=1&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_ | https://github.com/jaybutera/Category-Theory-Notes/tree/master/challenges/pt1_Category_The_Essence_of_Composition |
| Functions, Epimorphisms | https://www.youtube.com/watch?v=O2lZkr-aAqk&index=3&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_ | |
| Examples of Categories, Orders, Monoids | https://www.youtube.com/watch?v=aZjhqkD6k6w | |
| Terminal and Initial Objects, Products | https://www.youtube.com/watch?v=zer1aFgj4aU | |
| Coproducts, Algebraic Data Types | https://www.youtube.com/watch?v=LkIRsNj9T-8 | |
| Functors | https://www.youtube.com/watch?v=FyoQjkwsy7o |
Contributions to challenges are welcome and encouraged!
If you have issue with the notes, raise an issue and I'll work to fix it.
jaybutera