category-theory-bartosz-milewski-lecture-notes
category-theory-bartosz-milewski-lecture-notes copied to clipboard
Published
20 hours ago •
srghma
srghma
Category theory for programmers lecture notes
Category theory Bartosz Milewski lecture notes
This repo contains screenshots of my lecture notes. Notes may be invalid (and shabby).
Materials used
Bartosz lecture videos - https://www.youtube.com/user/DrBartosz/videos
Bartosz book - https://github.com/hmemcpy/milewski-ctfp-pdf
Notations used here are differect from notations in book, my notations were inspired by https://github.com/jwiegley/category-theory#notations
Topology videos - https://www.youtube.com/user/ThoughtSpaceZero/videos
Algebra and calculus wiki - https://en.wikibooks.org/wiki/Calculus
Other lecture notes:
- https://github.com/truizlop/CategoryTheoryForProgrammers
- https://github.com/rpeszek/notes-milewski-ctfp-hs
srghma