Category Theory Illustrated – Types(abuseofnotation.github.io)85 points by boris_m 6 months ago | 15 comments
Category Theory Illustrated – Orders(abuseofnotation.github.io)236 points by boris_m 6 months ago | 60 comments
From Sets to Categories (2023)(abuseofnotation.github.io)58 points by boris_m 2 years ago | 39 comments
Category Theory Illustrated – Sets(abuseofnotation.github.io)184 points by boris_m 3 years ago | 68 comments
Category Theory Illustrated: Logic (2021)(abuseofnotation.github.io)220 points by boris_m 2 years ago | 68 comments
Category Theory in Programming(docs.racket-lang.org)137 points by todsacerdoti 1 year ago | 56 comments