¿Hay una palabra estándar para expresar el hecho de que una categoría tiene a más de un isomorfismo entre cualquier dos objetos?
Respuesta
¿Demasiados anuncios?
Esto es equivalente a ser flaco, un nombre común para una categoría, no automorphisms no triviales. Una categoría no flaco sin duda tiene un par de objetos que admite dos isomorfismo una entre ellos, mientras que si $f,g$ son distintos isomorfismos en cualquier categoría entonces $g^{-1}f$ es un automorphisms de no identidad, por la singularidad de inversas.
