-1
$\begingroup$

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 ?

$\endgroup$
3
  • 3
    $\begingroup$ As far as I can tell you answered your own question just before you asked it. $\endgroup$ Aug 9, 2010 at 19:33
  • $\begingroup$ This question is probably better suited to math.stackexchange.com - mathoverflow is intended for “research level” questions, whereas this is more like an exercise for a first course in category theory. $\endgroup$ Aug 9, 2010 at 19:34
  • 1
    $\begingroup$ You don't want a function, but a functor, and it has to be faithful. $\endgroup$ Aug 9, 2010 at 19:39

1 Answer 1

2
$\begingroup$

The underlying set for an object in the category of groups is just the underlying set of the group, there is no other name for it.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.