Hacker News new | ask | show | jobs
by smadge 2625 days ago
I don’t know PLT very well but wouldn’t top/bottom also be considered terminal/initial objects in categorical terms?