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