No, esto es muy pocas veces cierto, incluso con hipótesis extremadamente bonitas sobre $C$ . Considere la categoría de $\mathbb{Z}$ -espacios vectoriales graduados y el automorfismo $\Sigma$ que desplaza la graduación hacia arriba en $1$ . Los objetos $c$ tal que $c \cong \Sigma c$ son los $\mathbb{Z}$ -espacios vectoriales graduados, cada uno de cuyos trozos graduados tiene la misma dimensión.
Lo cierto es que $\Sigma c$ tiene las mismas propiedades categóricas que $c$ (es decir, propiedades que sólo dependen de cómo $c$ se sienta en el interior $C$ ). Por ejemplo, $c$ es proyectiva si $\Sigma c$ es proyectiva. Esto es similar a cómo los elementos de, por ejemplo, un anillo no necesitan ser fijados por automorfismos del anillo, pero dos elementos relacionados por un automorfismo comparten propiedades teóricas de los anillos como ser nilpotentes.
2 votos
Consideremos una categoría con dos objetos $a$ y $b$ y sólo morfismos de identidad . . .
0 votos
@NoahSchweber Dicha categoría no es aditiva.
0 votos
Bien, en este caso no funcionará. Pero pregunto $\mathcal{C}$ para ser aditivo... así que estoy confundido: ¿Permitimos una estructura de grupo en el conjunto vacío? Creo que no
3 votos
Es fácil ampliar el ejemplo de Noé a un ejemplo aditivo. Una versión del ejemplo de Noé es sólo la categoría $\text{Vect} \times \text{Vect}$ ( $\mathbb{Z}_2$ -de los espacios vectoriales graduados), con el automorfismo dado por el intercambio de los dos factores.
0 votos
Sólo señalar que se puede obtener el tipo de cosa que se busca a partir de automorfismos (y autoequivalencias) naturalmente isomorfos a la identidad.