technicalguy / acs-category-theory-notes-2017

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

Add Lecture 15 #25

Closed varkor closed 6 years ago

varkor commented 6 years ago

It takes a long time to typeset a lecture by oneself, and it's probably possible to make this more readable, in which case anyone is very welcome to make modifications before merging! At the very least, this is a good base on which to build.

dc-mak commented 6 years ago

Fair - I've put it into its own branch for the time being so that people can work on it.