Hacker News new | ask | show | jobs
by Davidzheng 497 days ago
btw isn't this question at least really badly worded (and maybe incorrect?) the definitions they give for F and G are categories not functors... (and both categories are in fact one object with contractible space of morphisms...)