The special properties of an abstract category morphism (for instance, being an identity, an isomorphism, an epi- morphism., a monomorphism . . . ) fully depend on the category composition. Consequently, an isomorphic category to a concrete category may be not concrete, i.e., the concreteness is not a cat- egory invariant. Further, every small category is isomorphic to a small category whose objects are sets and whose morphisms are functions between those sets.
| A note on cathegory composition | 482.3KB |