Post #1558693

Scanned notes from old lectures by Lawvere (some j.w.w. Joyal), taken by Anders Kock and shared in the last few years: https://github.com/conceptualmathematics/Naturality The dates are from 1966, 1971 (one lecture each), 1978 (five lectures), 2011 (one lecture)