news.volyx.in

Category Theory Illustrated: Logic (2021) (abuseofnotation.github.io)

252 points by boris_m · 651 days ago · 83 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.