technicalguy / acs-category-theory-notes-2017

Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
13 stars 5 forks source link

A first draft of the latter half of the chapter on functors. #11

Closed MarceloFiore closed 6 years ago

coralmw commented 6 years ago

The table from the end of the lecture does not format properly. I think the last 2 commutative diagrams should be written up separately.