[[!redirects concrete categories]] #Contents# * table of contents {:toc} ## Definition ## A concrete category $C$ is a [[category]] with a [[set]] $El(A)$ for every object $A:Ob(C)$. ## See also ## * [[evaluational category]] * [[concrete dagger 2-poset]] * [[concrete precategory]] * [[HilbR]] * [[ETCS]]