A abuseofnotation.github.io Category Theory Illustrated – Sets 218 points boris_m 3 years ago 94 comments