En el caso particular de los grupos, puede recuperar el conjunto subyacente de un grupo de $G$ como el Hom-establecer $\text{Hom}(\mathbb{Z}, G)$. En otras palabras, $\mathbb{Z}$ representa el olvidadizo functor $\text{Grp} \to \text{Set}$. Usted puede recuperar las operaciones del grupo en $G$ dotando $\mathbb{Z}$ con la estructura de un cogroup objeto; ver este post en el blog para más detalles. Desde aquí se puede hacer todo lo demás.
En general, una advertencia importante a tener en cuenta es que las categorías no son automáticamente concreto; es decir, que no vienen automáticamente con un olvidadizo functor $C \to \text{Set}$. Algunas propiedades parecen ser las propiedades de los objetos de $C$, pero en realidad son las propiedades de los objetos de $C$ junto con una elección de un functor (por ejemplo, "la cardinalidad del conjunto subyacente"), y, en general, tales functors ni existen ni son únicos. Si quieres hablar sobre dichas propiedades, en cierto sentido, usted necesita proporcionar el functor como datos extra (pero esto es discutible; en otro sentido, el functor es parte de la definición correcta de la propiedad.)
Pero esto es una bendición, no una maldición: el trabajo en el idioma de la categoría de la teoría obliga a reconocer cuáles son las propiedades que no dependen de una elección de concreción, de la misma manera que el trabajo en el lenguaje de la teoría de grupo obliga a reconocer cuáles son las propiedades que no dependen de una elección de la acción de grupo. Este es un ejercicio valioso para la comprensión de las categorías que no tienen una buena selección de concreción (por ejemplo, la categoría de esquemas.)
Otra advertencia importante a tener en cuenta es que a la hora de poner un objeto en una categoría en particular,$C$, que sólo puede aspirar a recuperar el objeto a isomorfismo en $C$. Muchos familiares los objetos matemáticos son miembros de un montón de diferentes categorías. Por ejemplo, $\mathbb{R}$ es
- un grupo de
- un anillo
- un espacio topológico
- un conjunto totalmente ordenado
- un espacio métrico
- un colector de
- un suave colector de
- un grupo topológico
- una Mentira grupo
y así sucesivamente, y ponerla en ninguna de las categorías anteriores sólo le permitirá recuperar hasta el isomorfismo en los correspondientes sentidos.
