ParentFull threaddmch-1·To what extent can you get into category theory or homotopy type theory without learning some algebra or algebraic geometry/topology?View on HN