## 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 ## * [[concrete precategory]] * [[family]]