srghma / category-theory-bartosz-milewski-lecture-notes

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