Homotopy Type Theory
Rezk completion > history
<
Rezk completion
category:
redirected to nlab