Mi forma de pensar:
PREGUNTA: ¿Por qué la noción #2 no es lo suficientemente buena para razonar sobre la equivalencia de categorías? ¿Son categorías especiales? Hasta donde yo entiendo, permite reutilizar la definición de "igualdad" n.° 2 con respecto a dos categorías cualquiera...
Parte de la importancia de la equivalencia de categorías tiene que ver con el isomorfismo de los objetos en dichas categorías.
Considere la categoría de todos los conjuntos finitos (y mapeos entre ellos). Esa es una categoría enorme, ya que su colección de objetos es una clase adecuada. Sin embargo, en cierto sentido , no debería ser tan grande, ya que esencialmente solo hay tantos conjuntos finitos como números naturales.
Considere otra categoría , que es sólo los conjuntos finitos de la forma . Ahora por cada , tiene un conjunto representativo de ese tamaño mientras que tiene muchos, pero en todos estos conjuntos del mismo tamaño son isomorfos y no deberíamos tratar a los conjuntos isomorfos como si fueran diferentes.
Por lo tanto, no hace ninguna diferencia real si usamos o para trabajar con conjuntos finitos. Entonces deberían ser iguales. Y lo son: estas categorías son equivalentes . Pero no pueden ser isomorfos: tiene un conjunto contable de objetos, pero una clase adecuada.
Las categorías son realmente especiales, ya que forman una categoría 2: las transformaciones naturales dan una buena noción de 2-morfismos, un morfismo entre morfismos. Eso es lo que lleva a la posibilidad de usar la equivalencia en lugar del isomorfismo. Como sugiere la otra respuesta, hay numerosos ejemplos de pares de categorías equivalentes que no son isomorfos. De hecho, las categorías que se encuentran "en la naturaleza", al hacer matemáticas, casi nunca son isomorfas entre sí, mientras que hay muchas equivalencias muy importantes entre categorías.
Para algunos ejemplos, en orden creciente de dificultad:
(1) La categoría de espacios vectoriales de dimensión finita sobre un campo es equivalente a su opuesto, tomando el espacio dual. (¡Cuidado que el funtor de espacio dual no es isomorfo a la identidad!)
(2) La categoría de adjuntos de la categoría de conjuntos a cualquier categoría con coproductos es equivalente a : dado , define el adjunto izquierdo en cualquier conjunto ser los coproductos de Copias de y el adjunto derecho para enviar al conjunto .
(3) Lo contrario de la categoría de conjuntos es equivalente a la categoría de álgebras booleanas atómicas completas. Esto se generaliza a la dualidad de Stone, el teorema de que los espacios totalmente desconectados son equivalentes al opuesto de las álgebras booleanas arbitrarias, y luego a la dualidad de Gelfand, que dice que los espacios arbitrarios compactos de Hausdorff son equivalentes al opuesto de los conmutativos. álgebras.
(4) Algunas conjeturas muy importantes se centran en equivalencias de categorías. Por ejemplo, la simetría del espejo homológico postula un equivalente entre la "categoría de Fukaya" de una variedad simpléctica y la "categoría derivada" de una variedad compleja relacionada, su espejo, lo que lleva a la unificación de dos campos matemáticos muy dispares.
No se trata de dar un isomorfismo en cualquier caso excepto (1), y nadie querría hacerlo: el punto es que, cualquier matemática que puedas hacer en una categoría, puedes transferirla a una equivalente. En la teoría de categorías, normalmente nos preocupamos por los objetos hasta el isomorfismo y los morfismos hasta la igualdad, y eso es lo que refleja una equivalencia.
En realidad, #2 es una instancia degenerada de la noción detrás de #4.
Intuitivamente, en un mero conjunto, los elementos son iguales o no, no hay "entre". Esto se considerará una tremenda falta de soltura de conjuntos. Esta falta de soltura repercute en los morfismos (paralelos) de una categoría dada: dada y , los morfismos y son iguales o no, no hay "entre"; Lo mismo va para y . si ahora y son categorias y y functors, hay múltiples formas de y ser "igual-ish", es decir, todos los isos . Entonces, la idea es que las múltiples formas de ser iguales deberían ser la norma y el igual o no simplemente representa los casos particulares cuando las múltiples formas se reducen a una sola.
Pero basta de agitar la mano, intentemos ser (más) formales.
Definir un -categoria ser una categoria enriquecida sobre categorias pequenas. Técnicamente un -categoría son entonces los datos de
tales que conmutan los diagramas haciendo el Las composiciones asociativas de 's y la 's neutrales para aquellos. Te dejo dibujar estos. (Sugerencia: estos son los mismos diagramas que para las categorías localmente pequeñas, donde el son solo conjuntos). Para nosotros escribimos y también escribimos por el objeto de seleccionado por .
En cualquier -categoría , tienes una noción de equivalencia de la siguiente manera: un objeto de es una equivalencia si hay un objeto de tal que es isomorfo a en y es isomorfo a en .
Pequeñas categorías, funtores y transformaciones naturales forman un -categoría (los objetos son categorías pequeñas, y es la categoría que denotaste ; composiciones e identidades son las composiciones e identidades usuales de los funtores). Equivalencia en te devuelve el #4.
Ahora cualquier categoría puede ser considerado como un -categoría : los objetos son los de y para objetos , la categoría tiene
Una equivalencia en este -categoría es exactamente un isomorfismo en la categoría original . De hecho, un isomorfismo de la forma solo puede ser un morfismo de identidad, lo que obliga a los dos lados a ser iguales. Entonces te devuelve el #2.
Por supuesto, ahora puede decir que es sospechoso preguntar, en la definición de una equivalencia
, para
y
ser isomorfo, ya que significa que hay
y
tal que
y
son iguales (y lo mismo para
y
). Esto se debe únicamente a la falta de soltura del conjunto de endomorfismos de
y
. Siguiendo las líneas de antes, ¿no debería ser esto solo un caso degenerado de un escenario donde esos
y
son solo isomorfos? Sí, podría, si te mudas a
-categorias y vistas
-categoriza como degenerados
-categorías. Y puedes continuar, son los isomorfismos de las tortugas hasta el final...
(En realidad, la gente suele estar más interesada en los casos en los que incluso las leyes de asociatividad e identidad se mantienen iso, lo que lleva finalmente al mundo de -categorías y más allá, pero esto está mucho más allá del alcance de esta respuesta).
Stefan Perko
Arnaud D.
Stefan Perko