Category Theory Illustrated – Types #1 Post by boris_m » Mon, Mar 30, 2026, 11:28 AM UTC Category Theory Illustrated – Typesabuseofnotation.github.io