Dejemos que $\mathcal{C}$ ser una categoría. Quiero definir otra categoría $\mathcal{C}'$ poniendo ${\rm Obj}(\mathcal{C}') \doteq {\rm Obj}(\mathcal{C})$ y $${\rm Hom}_{\mathcal{C}'}(A,B) \doteq \{f \in {\rm Hom}_{\mathcal{C}}(A,B) \mid f \mbox{ is an isomorphism}\},$$ para todos $A,B \in {\rm Obj}(\mathcal{C}')$ . Es decir, quiero olvidar todo morfismo que no sea un isomorfismo.
En $\mathcal{C}'$ tienen un nombre estándar o una notación estándar, en términos de $\mathcal{C}$ ?
