[[!redirects concrete categories]] #Contents# * table of contents {:toc} ## Definition ## A concrete category $C$ is a [[concrete precategory]] such that for all $a,b:A$, the function $idtoiso_{a,b}$ is an equivalence. ## See also ## * [[concrete precategory]]