Homotopy Type Theory topos > history

< semantics of Set in homotopy type theory