topos-theory

Lawvere's Fixed Point Theorem

A short talk on Lawvere's *Diagonal Arguments and Cartesian Closed Categories*.