A concrete category is a category C together with a function that assigns to each object A of C a set called the underlying set of A.
Example: The category of groups, equipped with the function that assigns to each group its underlying set in the usual sense, is a concrete category.
What is the underlying set for an object in a category of groups ?
No comments:
Post a Comment