% Reading Group in Categorical Models for Type Theories
Spring 2014
Thursdays, 2:30-3:30 in CSE 624 (NOTE CHANGE OF TIME, DAY, AND LOCATION)
We’ll meet once a week to discuss chapters of Crole’s Categories for Types.
There’s a mailing list (we’re reusing the one from last quarter).
You can see last quarter’s group here.
Schedule
Week of April 7
- Figure out topics for quarter and presenter for next week
Week of April 14
- Read Chapter 2 through 2.6
- Read Chapter 3 through 3.5
- Read frontmatter and Chapter 1 if desired
- Discussion lead: James
Week of April 21
- Finish chapter 3
- Discussion lead: Pavel
Week of April 28
- Next time we’ll finish talking about Excercise 3.8.5 and Theorem 3.8.6
- Read 2.7 and 2.8 in preparation for Chapter 4 next week
- Start chapter 4 if you’re bored
- Discussion lead: James?
Week of May 5
- Discuss Yoneda
Week of May 12
- Read Chapter 4!!!
Last updated: May 12, 2014