[[!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)$ and a function $(-)((-)): Hom(A,B) \times El(A) \to El(B)$ for objects $A:Ob(C)$ and $B:Ob(C)$. ## See also ## * [[concrete category]] * [[HilbR]] * [[ETCS]]