Showing changes from revision #3 to #4: Added | Removed | Changed

Contents

Definition

A concrete category $C$ is a category with a set $El(A)$ for every object $A:Ob(C)$.

See also

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