Hacker News new | ask | show | jobs
Category Theory Illustrated – Logic (abuseofnotation.github.io)
4 points by boris_m 64 days ago