A abuseofnotation.github.io Category Theory Illustrated: Logic (2021) 252 points boris_m 2 years ago 83 comments
