[HoTT-reading-group] Assignment for next Monday

Jason Gross jasongross9 at gmail.com
Mon Feb 10 16:06:47 EST 2014


Next Monday, we'll aim to focus on chapters 3 and 4.  Please read chapter
4, and attempt exercises 3.13, 3.14, and 4.5 (and come in with knowledge of
how to prove them or questions about where you got stuck.)

-Jason
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.mit.edu/pipermail/hott-reading-group/attachments/20140210/67b55c51/attachment.htm


More information about the HoTT-reading-group mailing list