[[!redirects concrete precategories]] #Contents# * table of contents {:toc} ## Definition ## A concrete precategory $C$ is a [[precategory]] with a type $El(A)$ for every object $A:Ob(C)$. ## See also ## * [[family of objects in a concrete precategory]] * [[concrete category]] * [[HilbR]] * [[ETCS]]