[HoTT-reading-group] HoTT Reading Group will be meeting Tuesdays 4-5

[Jason Gross]

I have chosen Mondays 3-4 as the meeting time for the HoTT reading group.
 Welcome, to those of you can make it, and apologies to those of you who
can't.  Our first meeting is tentatively scheduled on Monday, January 6,
3-4, in a room yet to be determined.  Please bring a copy of the HoTT book
(either physical or digital) with you to the first meeting, and please read
the introduction between now and then.

I plan to aim at reading one chapter a week until we finish the book,
slowing down if necessary.  My current plan is to have us all read each
chapter on our own time, and use the meeting time to discuss, ask and
answer questions, and work on the exercises.  I'm open to suggestions for
alternative structures, if we find that this one is not to our liking.

I look forward to meeting and learning with you all,
Jason
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.mit.edu/pipermail/hott-reading-group/attachments/20131205/d9c464eb/attachment.htm