Hacker News new | ask | show | jobs
by _fullpint 1585 days ago
Isn't this what a homotopy category is for though?