Comment Comment by dmch-1 To what extent can you get into category theory or homotopy type theory without learning some algebra or algebraic geometry/topology? parent dmch-1 5 years ago
