Dr. Harper suggested that abstract topology isn't such a requirement as they'll ...

tel on Jan 12, 2014 | parent | context | favorite | on: 15-819 Homotopy Type Theory

Dr. Harper suggested that abstract topology isn't such a requirement as they'll develop it synthetically in the class. Then algebraic topology as it's usually developed will become a useful metaphor.