Hacker News new | ask | show | jobs
by bmacho 346 days ago
> Functions with arbitrary codomains are not vectors,

Well, not with the operations pulled from the codomain at least.