Contents

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

• representably concrete category
• extensional category
• concrete dagger 2-poset?
• concrete precategory