Homotopy Type Theory
concrete H-precategory > history (Rev #1)
Contents
Definition
A concrete homotopy precategory is a homotopy precategory? with a type for every object .
See also
- family of objects in a concrete homotopy precategory?
- homotopy precategory?
Revision on April 25, 2022 at 21:17:07 by
Anonymous?.
See the history of this page for a list of all contributions to it.