1 votos

¿Cuándo el isomorfismo de dos categorías de categorías implica el isomorfismo de sus categorías elementales?

He estado tratando de entender un análogo de la paradoja de Russell para las categorías (Por favor, consulte este enlace para más detalles y preliminares sobre mi pregunta: Russell Pardox para la teoría de la categoría ingenua )

No entiendo el primer lema, concretamente cómo la presencia de M y N en $C_1$ resulta en cualquier categoría arbitraria en $C_1$ siendo isomorfo a alguna categoría en $C_2$ ? Me parece que se ha omitido algo en el boceto que es necesario para entenderlo. Por lo tanto, sería genial si alguien pudiera arrojar luz sobre esta cosa que falta.


( La parte pertinente del texto también se copia aquí. )

Sólo como referencia, permítanme dar algunos detalles más de mi Russell para la teoría de la categoría ingenua.

Entorno:

Trabajamos en un entorno de teoría de categorías ingenua, es decir teoría de categorías en la que el fundamento (teórico de conjuntos o de otro tipo) se ha dejado sin especificar.

Definición. A categoría de categorías es una categoría $\mathcal C$ tal que
(i) cada objeto de $\mathcal C$ es una categoría,
(ii) para cualquier objeto $A$ y $B$ de $\mathcal C$ los morfismos de $A$ a $B$ en $\mathcal C$ son exactamente los funtores de $A$ a $B$ ,
(iii) para cualquier objeto $A$ de $\mathcal C$ el morfismo de identidad $1_A$ en $A$ es el functor de identidad en $A$ ,
(iv) la ley de composición para los morfismos de $\mathcal C$ está dada por composición de funtores.

Definición. Una categoría $\mathcal C$ es universal si
(i) $\mathcal C$ es una categoría de categorías, (ii) toda categoría es isomorfa a alguna categoría que pertenece a $\mathcal C$ .

Teorema. No existe una categoría universal.

Prueba

Para dar la prueba, utilizamos las siguientes definiciones y lemas.

Dejemos que $M$ sea la categoría con exactamente dos objetos $A$ y $B$ y exactamente tres morfismos $1_A$ , $1_B$ y $f: A\to B$ .

Dejemos que $N$ sea la categoría con exactamente tres objetos $A, B, C$ y exactamente seis morfismos $1_A, 1_B, 1_C, f: A \to B, g: B \to C, h: A \to C$ .

Lema. Dejemos que $\mathcal C_1$ y $\mathcal C_2$ sean dos categorías isomorfas tales que
(i) $\mathcal C_1$ es una categoría de categorías,
(ii) $\mathcal C_2$ es una categoría de categorías,
(iii) $\mathcal C_1$ contans categorías que son isomorfas a $M$ y $N$ .
Entonces, cada categoría perteneciente a $\mathcal C_1$ es isomorfo a alguna categoría perteneciente a $\mathcal C_2$ y viceversa.

Prueba (esquema). Si $C$ es cualquier categoría perteneciente a $\mathcal C_1$ existe una correspondencia obvia correspondencia uno a uno entre los morfismos de $C$ y los funtores de $M$ en $C$ y las composiciones de dichos morfismos se recogen mediante funtores de funtores de $N$ en $C$ .
Así, los tipos de isomorfismo de las categorías pertenecientes a $\mathcal C_1$ están determinados por el tipo de isomorfismo de $\mathcal C_1$ sí mismo.
Además, lo mismo ocurre con $\mathcal C_2$ porque $\mathcal C_2$ también contiene categorías isomorfas a $M$ y $N$ .
El lema es el siguiente.

Definición. Una categoría $\mathcal C$ es autista si
(i) $\mathcal C$ es una catogoría de categorías,
(ii) $\mathcal C$ es isomorfo a alguna categoría que es objeto de $\mathcal C$ .
$\ $ Una categoría $\mathcal C$ es pseudoautismo si es isomorfo a alguna categoría autista.

Lema. Dejemos que $\mathcal C$ sea una categoría de categorías tal que
(i) $\mathcal C$ es pseudoautista,
(ii) $\mathcal C$ contiene categorías isomorfas a $M$ y $N$ .
Entonces $\mathcal C$ es autista.

Prueba. Esto se deduce inmediatamente del lema anterior.


Para demostrar el teorema, dejemos que $\mathcal C$ sea una categoría universal.
Dejemos que $\mathcal D$ sea la subcategoría completa de $\mathcal C$ compuesto por todas las categorías pertenecientes a $\mathcal C$ que no son pseudoautistas.
Entonces $\mathcal D$ es de nuevo una categoría de categorías.
Además, como $M$ y $N$ no son pseudoautistas, $\mathcal D$ contiene categorías isomorfas a $M$ y $N$ .

Supongamos primero que $\mathcal D$ es autista.
Entonces $\mathcal D$ es isomorfo a alguna categoría $E$ que pertenece a $\mathcal D$ .
Entonces $E$ es pseudoautista. Por lo tanto, por definición de $\mathcal D$ , $E$ no pertenece a $\mathcal D$ . Esto es una contradicción.
Hemos demostrado que d no es autista.
Por el lema anterior se deduce que $\mathcal D$ no es pseudoautista.
Desde $\mathcal C$ es universal, $\mathcal D$ es isomorfo a alguna categoría $E$ que pertenece a $\mathcal C$ . Por lo tanto, $E$ no es psuedoautista. Por lo tanto, $E$ pertenece a $\mathcal D$ .
Así, $\mathcal D$ es autista. Esto es una contradicción.
El teorema está demostrado.

1voto

Berci Puntos 42654

Escribimos $\mathcal C(A,B)$ para el conjunto de flechas $A\to B$ en alguna categoría $\mathcal C$ .

Dejemos que $\varphi:\mathcal C_1\to\mathcal C_2$ un isomorfismo de categoría.
Además de que los funtores de las dos categorías específicas, 'la flecha' $M$ y "la composición $N$ , codifican la estructura de la categoría, la afirmación principal (implícita) es que $\varphi(M)$ debe ser isomorfo a $M$ y $\varphi(N)$ a $N$ .

Para cualquier objeto $C,X\in Ob\,\mathcal C_1$ tenemos $\ \mathcal C_1(X,C)\cong\mathcal C_2(\varphi(X),\,\varphi(C))$ .
Además, si $C=X$ obtenemos el isomorfismo del endomorfismo monoides .

Aplicándolo a $X=C=M$ produce que $\varphi(M)$ tiene exactamente 3 endofunctores, correspondientes a los 3 endofunctores $M\to M$ (que a su vez corresponden a flechas de $M$ ), con la misma estructura monoide.
Nótese que una categoría no trivial $C$ tiene al menos un endofuntor más como objeto debido a los funtores constantes y a la identidad.
Esto demuestra que $\varphi(M)$ puede tener como máximo $2$ objetos, e investigar los endofunctores de las categorías con $1$ o $2$ objetos conduce a la descripción más específica de $\varphi(M)$ .

Una vez $\varphi(M)\cong M$ se muestra, en base a esto, también se puede demostrar $\varphi(N)\cong N$ y luego sigue el resto.

0 votos

Gracias por la pista, y por no estropear la diversión dando la prueba completa. Por el momento, estoy mirando endofunctors en categorías con 1 objeto.

1 votos

En realidad no estoy seguro de que la solución que propongo funcione, sin embargo da una idea del problema. Si también la categoría trivial de un punto $L$ estuvo involucrado además de $M$ y $N$ entonces ciertamente obtendríamos $\varphi(L)\cong L$ y por lo tanto $\varphi(M)$ debe tener exactamente 2 objetos..

0 votos

He hecho algunos progresos (por favor, vea la documentación que he publicado al respecto), pero no veo claramente el camino a seguir. Así que voy a trabajar en otra cosa durante un tiempo con la esperanza de que las cosas se arreglen con el tiempo.

0voto

Daniel Bidwell Puntos 91

¿Respuesta parcial? Gracias a @Berci por sus maravillosas pistas que he podido descubrir siguiendo las reflexiones elementales.

Número de objetos y endofunciones constantes

El número de objetos de cualquier categoría no vacía puede establecerse mediante el número de endofunciones constantes sobre ella porque existe una correspondencia 1-1 entre ellas.

Sin embargo, ¿cómo se pueden distinguir los endofuncionarios constantes si sólo se tiene una categoría y sus endofuncionarios? Resulta que en el universo de las categorías se cumple lo siguiente: Sea $C$ sea una categoría cualquiera. Entonces cualquier functor $F:C\rightarrow D$ es un functor constante si $\forall \alpha:C\rightarrow C$ , $\ F\circ \alpha=F$ .

Una parte especial

Considere la categoría $\varphi(M)$ . Tiene exactamente tres endofunctores: uno es la identidad y los otros dos son constantes en cada uno de los dos objetos. Se puede demostrar que si no existe ningún mapa entre los dos objetos de $\varphi(M)$ entonces se puede crear otro functor que cambie los objetos, es decir, que lleve el objeto al otro objeto y viceversa. Esto es una contradicción, por lo que debe existir al menos un mapa entre los dos objetos.

En este punto, estoy atascado. Quizá vuelva a plantear la cuestión más adelante. O alguien más me indicará lo que se me ha pasado por alto, pero que me estaba mirando a la cara.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X