A abuseofnotation.github.io Category Theory Illustrated – Orders 252 points boris_m 6 months ago 61 comments