Homotopy Type Theory
Univalent categories and the Rezk completion > history
<
Univalent categories and the Rezk completion
category:
redirected to nlab