(The plan for category theory is to get proficient with Haskell and maybe kill two birds with one stone by playing with functional inductive programming (which uses category theory)
I’ve known many people who have tried to walk down this path and failed. The successful ones I know, knew one before the other.
I’ve known many people who have tried to walk down this path and failed. The successful ones I know, knew one before the other.