Homotopy Type Theory
quotient set > history
<
quotient set
category:
redirected to nlab