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

Contents

Definition

A concrete category $C$ is a category concrete precategory with such a that for allset$a,b:A$ , the function$\mathrm{El}{\mathrm{idtoiso}}_{a,b}(A)$ El(A) idtoiso_{a,b} for is every an object equivalence.$A:Ob(C)$.

See also

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