Homotopy Type Theory topos > history

Redirected from "Joseph A. Goguen".

< semantics of Set in homotopy type theory

category: redirected to nlab