Homotopy Type Theory
directed-complete poset > history
Redirected from "internal (infinity,1)-categories".
<
directed-complete poset
category:
redirected to nlab