¿Cómo explicarías la teoría de la categoría a un niño de 12 años?

de la conferencia sobre topología diferencial de John W. Milnor … • ver las cosas de manera diferente

Aquí hay tres categorías:

suave

plano

puntos conectados


Hay similitudes y diferencias entre estas cosas, ¿cómo?

y la teoría de categorías es una forma de organizar estas similitudes y diferencias.


de la teoría de la categoría:

Tal vez notaste esto cuando estabas aprendiendo aritmética:
Escribiré o por impar y e por par.

(Si eso te confunde: toma un bolígrafo y papel y realiza sustituciones usando la identidad o = e + 1 hasta que estés satisfecho).
Escribiré Pos para positivo y Neg para negativo.
##### FUNCTOR #####
Quizás ya lo veas. Los números negativos juegan el papel en la multiplicación que juegan los números impares además. Del mismo modo, los números positivos cumplen la misma función en la multiplicación que los números pares además.
Es decir, × positivo y + incluso conservan el estado de la cosa en la que operan, y × negativo y + impar cambian el estado.
Intercambiar (e , o , +) por (P , N , ×) es un ejemplo de un functor . Suena como función, pero asigna categorías a categorías.
Una cosa más: observe que ambos son isomorfos al grupo cíclico Z₂ , con un elemento de identidad par o positivo.
Solo para revisar. En inglés simple: “Además de lo que hacen los pares y las probabilidades, lo positivo y lo negativo hacen en la multiplicación”. En la teoría de categorías: “Hay un functor isomorfo entre las categorías { par, impar, +} y { positivo, negativo, ×} . ”


Ver también la respuesta de Lors Soren a la teoría de categorías: ¿Qué es la teoría de categorías?

Si se refiere al operador ‘o’ como en gof (x) = g (f (x)), personalmente lo entendí mejor al compararlo con
“Usando zapatos”

Si quieres usar zapatos, implica dos trabajos (también conocidos como funciones)
1) Use calcetines (función f)
2) Use zapatos (función g)

ir f se traduce como -> Usar zapatos “después” de calcetines … o algo 🙂

Las propiedades asociativas, de funciones inversas, etc. también son válidas para la misma analogía.

(Ej: (gof) -1 => quitándose efectivamente los zapatos … => quitándose los calcetines “después” quitándose los zapatos => f-1 o g-1)

More Interesting

¿Qué es un kernel en el dominio de Fourier?

¿Cuáles son algunos buenos libros para las matemáticas de ingeniería?

Cómo explicar intuitivamente el conjunto convexo y la función convexa

Cómo demostrar que [matemáticas] \ arctan x [/ matemáticas] se puede expresar como la fracción continua [matemáticas] \ cfrac {x} {1 + \ cfrac {x ^ 2} {3 - x ^ 2 + \ cfrac {9x ^ 2} {5 - 3x ^ 2 + \ cfrac {25x ^ 2} {7 - 5x ^ 2 + \ ddots}}}} [/ math]

¿Cómo se nota que [matemáticas] a - b [/ matemáticas] es un factor de [matemáticas] a ^ n - b ^ n [/ matemáticas]?

¿Cuál es el papel de la optimización convexa en los problemas de asignación de energía en la comunicación inalámbrica, por ejemplo, en sistemas basados ​​en OFDM?

¿Cómo demostró Fermat su último teorema para [matemáticas] n = 4 [/ matemáticas]?

¿Qué grado es más fácil de obtener si eres débil en matemáticas: ingeniería de software o informática?

¿Qué es un ábaco y qué son las matemáticas védicas?

¿Cuántos usuarios / comerciantes de bitcoin realmente entienden las matemáticas detrás de la moneda criptográfica?

¿Qué es el soporte de Dirac en lenguaje geométrico?

¿Existe alguna olimpiada matemática internacional para estudiantes de noveno grado?

¿Qué tan competitivo es ingresar al programa de doctorado en matemáticas aplicadas en Cornell? ¿Qué tipo de fondo se necesita para aplicar con éxito?

¿Qué significan estas palabras en matemática, radical, factor, [matemática] \ infty [/ matemática]?

¿Qué es una explicación intuitiva de las inyecciones, sobreyecciones y biyecciones en matemáticas?