Homotopy Type Theory family of objects in a concrete precategory > history (Rev #2, changes)

Showing changes from revision #1 to #2: Added | ~~Removed~~ | ~~Chan~~ged

~~Definition~~

< family of objects in a concrete category

~~In a concrete precategory $C$ , given an object $A:Ob(C)$ an $A$ -indexed family of objects in $C$ is a function $B:El(A) \to Ob(C)$ .~~
~~See also~~

concrete precategory

family

Revision on June 7, 2022 at 03:51:35 by Anonymous?. See the history of this page for a list of all contributions to it.