3 ms·
Did you read the Introduction from pp1-12 of HoTT? I thought it was a pretty good overview.
by sjy 12y ago
Did you read the Introduction from pp1-12 of HoTT? I thought it was a pretty good overview.
- amathstudent 12y agoI tried. I was hoping for something more like: "a field is something you can add, subtract, multiply, & divide in" and less like: "a field is a set that is a commutative group with respect to two different operations (excepting 0), linked by the distributive law". I need something to hold on to when reading the more formal treatment.
- tel 12y agoI highly suggest Robert Harper's lectures from the Oregon Programming Languages Summer School. I watched the OPLSS'12 lectures, but I'm sure they're great any year.