Notes, resources, etc on category theory

Category-Theory.md

Category Theory Notes

Resources

• https://boris-marinov.github.io/category-theory-illustrated/

• https://markkarpov.com/post/category-theory-part-1.html

• https://medium.com/sadasant/sections-and-retractions-a1a30601c000

• https://blog.juliosong.com/linguistics/mathematics/category-theory-notes-1/

Functors, Natural Transformations, Monads

• https://dkalemis.wordpress.com/2013/11/23/the-correspondence-between-monads-in-category-theory-and-monads-in-haskell/ How the category theory shows up in Haskell

Logic

• https://qchu.wordpress.com/2013/12/10/how-to-invent-intuitionistic-logic/
• https://math.stackexchange.com/questions/3933554/how-do-heyting-algebras-relate-to-logic