Category Theory Illustrated – Logic #1 Post by boris_m » Sun, Apr 12, 2026, 10:57 AM UTC Category Theory Illustrated – Logicabuseofnotation.github.io