Category Theory Illustrated – Types(abuseofnotation.github.io)5 points by boris_m 47 days ago | 1 comment