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

## Definition

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

Revision on April 25, 2022 at 11:24:55 by
Anonymous?.
See the history of this page for a list of all contributions to it.