En esta pregunta, pregunté cuál es la diferencia entre set y type . Estas respuestas han sido realmente esclarecedoras (por ejemplo, @AndrejBauer), por lo que, en mi sed de conocimiento, me someto a la tentación de preguntar lo mismo sobre las categorías:
Cada vez que leo sobre la teoría de categorías (que ciertamente es bastante informal), no puedo entender realmente en qué se diferencia de la teoría de conjuntos, concretamente .
Así, en el más concreto manera posible, lo que es exactamente lo que implica sobre para decir que está en la categoría , en comparación a decir que x ∈ S ? (por ejemplo, ¿cuál es la diferencia entre decir que x es un grupo y decir que x está en la Categoría G r p ?).
(Puede elegir cualquier categoría y conjunto que haga que la comparación sea más clara).
fuente
Respuestas:
En resumen, la teoría de conjuntos trata sobre la pertenencia, mientras que la teoría de categorías trata sobre transformaciones que preservan la estructura.
La teoría de conjuntos se trata solo de pertenencia (es decir, ser un elemento) y de lo que se puede expresar en términos de eso (por ejemplo, ser un subconjunto). No se refiere a ninguna otra propiedad de elementos o conjuntos.
La teoría de categorías es una forma de hablar sobre cómo las estructuras matemáticas de un tipo 1 dado pueden transformarse entre sí 2 mediante funciones que preservan algún aspecto de su estructura; proporciona un lenguaje uniforme para hablar de una gran variedad de tipos 1 de estructura matemática (grupos, autómatas, espacios vectoriales, conjuntos, espacios topológicos ... ¡e incluso categorías!) y las asignaciones dentro de esos tipos 1 . Aunque formaliza las propiedades de los mapeos entre estructuras (realmente: entre los conjuntos en los que se impone la estructura), solo trata las propiedades abstractas de los mapas y estructuras, llamándolos morfismos (o flechas ) y objetos; Los elementos de tales conjuntos estructurados no son la preocupación de la teoría de categorías, y tampoco lo son las estructuras de esos conjuntos. Usted pregunta "de qué se trata una teoría "; Es una teoría de mapeos de preservación de estructuras de objetos matemáticos de un tipo arbitrario 1 .
Sin embargo, la teoría de las categorías 3 abstractas , como se acaba de decir, ignora totalmente los conjuntos, operaciones, relaciones y axiomas que especifican la estructura de los objetos en cuestión, y solo proporciona un lenguaje en el que hablar sobre cómo los mapeos que preservan cierta estructura comportarse: sin saber qué estructura se conserva, sabemos que la combinación de dos de estos mapas también preserva la estructura. Por esa razón, los axiomas de la teoría de categorías requieren que haya una ley de composición asociativa sobre los morfismos y, de manera similar, que haya un morfismo de identidad de cada objeto en sí mismo. Pero no supone que los morfismos en realidad son funciones entre conjuntos, solo que se comportan como ellos.
Ver también
3 Sin calificación, ' categoría ' normalmente significa 'categoría abstracta', introducida, hasta donde puedo ver, en 1945 y desarrollada en la década de 1960, mientras que las categorías concretas parecen aparecer en la década de 1970.
fuente
fuente
Otro punto sobre la explicación de DW
Me gustaría hacer una declaración más fuerte:
Una vez que tenga eso, la categoría le da muchas propiedades predeterminadas del concepto. Los ejemplos van desde
y así.
En cuanto a la pregunta que haces en el comentario
fuente
Conjuntos
Filosofía. Los conjuntos tienen una estructura interna: están completamente determinados por sus elementos.
Observación. Un sistema axiomático ampliamente utilizado por los teóricos de conjuntos es ZFC. Su fortaleza es la simplicidad: solo hay conjuntos y una relación de membresía. Por otro lado, muchos matemáticos sienten que esto conduce a un concepto de conjunto que difiere de su comprensión y uso de conjuntos (compárense a continuación Leinster ). De hecho, la gran mayoría de los matemáticos (excepto los teóricos de conjuntos) parece no usar los axiomas de ZFC. Sin embargo, los conjuntos no se refieren necesariamente a ZFC (consulte las categorías y ETCS a continuación).
Categorias
Filosofía. Los objetos de una categoría no tienen una estructura interna a priori. Simplemente se caracterizan por sus relaciones (morfismos) con otros objetos.
Observación. El concepto básico de categorías es función y esto coincide con el uso de conjuntos por la gran mayoría de los matemáticos. Por lo tanto, puede ver las categorías como una generalización conceptual de la forma en que (la mayoría) de los matemáticos de campos muy diferentes usan conjuntos en su trabajo diario. Además de las categorías (y toposos) como una generalización, puede echar un vistazo al sistema axiomático ETCS que es axiomatizar conjuntos (compare a continuación Leinster y Lawvere ).
Críticos
En el caso de ZFC y ETCS, estos enfoques se pueden traducir entre sí, aunque ETCS es más débil que ZFC pero (aparentemente) cubre la mayoría de las matemáticas (ver MathStackExchange y Leinster). En principio (usando una extensión de ETCS) puede probar los mismos resultados con ambos enfoques. Por lo tanto, las filosofías mencionadas anteriormente de ambos conceptos no reclaman una distinción fundamental en lo que puede expresar o qué resultados puede probar.
Las expresiones establecidas y la pertenencia a ZFC son conceptos abstractos al igual que los conceptos de categorías o cualquier otro sistema axiomático y pueden significar cualquier cosa. Entonces, desde este punto de vista formal, afirmar que ZFC está preocupado por la estructura interna de los conjuntos, mientras que las categorías se ocupan de las relaciones externas de los objetos entre sí, parece inapropiado. Por otro lado, esta parece ser la filosofía o intuición de las teorías referentes.
Sin embargo, en la práctica preferirá un cierto Enfoque, por ejemplo, en aras de la claridad o la simplicidad, o porque algún concepto o una conexión con otra área evoluciona de forma más natural que en cualquier otro lugar.
Referencias
Spivak.Teoría de la categoría para científicos
Leinster: repensando la teoría de conjuntos
Lawvere: una teoría elemental de la categoría de conjuntos
MathStackExchange.Teoría de la categoría sin conjuntos
fuente