Category Theory Illustrated – Types(abuseofnotation.github.io)
abuseofnotation.github.io
Category Theory Illustrated – Types
https://abuseofnotation.github.io/category-theory-illustrated/06_type/
1 comments
I think this is well-written and satisfying, I spent many years in postgrad stats departments but never managed to find anything this approachable on category theory.