¿Es un functor en teoría de categorías una formalización de la noción de “analogía” en matemáticas? Si no, ¿cómo falla el intento de analogía en la pregunta anterior?

Creo que es justo decir que los functores son una formalización de la noción de analogía. No creo que históricamente así hayan surgido, pero parece correcto.

Pero es un cierto tipo de analogía. Es el tipo que es … functorial. Hay otras analogías, incluso analogías matemáticas útiles, que no son ficticias.

Por ejemplo, hay “programas” o “enfoques” para comprender ciertos temas que tienen un alcance muy amplio. ¿Cómo estudiamos enteros? A menudo, es un proceso de dos pasos: darse cuenta del hecho relativamente sencillo de que los enteros se pueden factorizar de manera única en números primos, luego estudiar los números primos. ¿Cómo estudiamos grupos finitos? De una manera similar: al darse cuenta del hecho menos directo de que los grupos finitos se pueden factorizar de manera única en grupos más pequeños. Algunos de estos grupos más pequeños son “simples”, lo que es análogo a que un número sea primo. Luego estudiamos la basura de grupos simples finitos.

Por supuesto, esta analogía no es ficticia. No sé de ningún functor que sepa que asigne significativamente un grupo finito a un número de una manera que no destruya esta narrativa. Quizás de manera equivalente, esta analogía no es perfecta. No hay muchas formas interesantes de combinar números primos … básicamente los multiplica. Hay formas más interesantes de combinar grupos. Pero aún así, la analogía es a veces instructiva.

Sí lo es. Lo único que debe tener en cuenta aquí es que este es el tipo especial de “analogía” que preserva todas las conexiones entre los objetos (composición) y las identidades.

Functor nos da algo de contexto, lo encapsula.
Por ejemplo, Quizás functor en Haskell nos da contexto de los valores anulables.

Functor de matriz – contexto del conjunto de valores del mismo valor – lista.

Al indagar en la función fmap de aquellos (que, por supuesto, deben satisfacer los axiomas), también podemos entender cómo elevar las conexiones entre los objetos en el contexto.

Aún más, las transformaciones naturales son 2 analogías en ese caso. Y hay tipos aún más altos de los que probablemente nos llevarán a HoTT y [math] \ infty [/ math] -categories.

More Interesting

¿Los axiomas de la lógica dictan las leyes de las matemáticas, o es todo lo contrario?

Cómo resolver una base a una potencia negativa a una potencia negativa

¿Por qué la probabilidad del binomio es la misma que la probabilidad de un binomio negativo?

Cómo calcular la Transformada de Fourier de [matemáticas] \ frac {\ sin ^ 2 (3 \ pi B t)} {3 \ pi ^ 2 B t ^ 2} [/ matemáticas]

¿Cuáles son algunos libros de texto de física teórica o matemática que has leído de principio a fin?

¿Qué tan bueno debo ser en matemáticas para aprender econometría?

¿Cómo podemos convertir eventos de la vida real (como cambiar el clima) en ecuaciones matemáticas? ¿Se pueden usar las matemáticas para predecir el resultado de eventos tan complejos?

¿Alguna versión conocida de FOL restringe la especificación universal a expresiones en variables libres introducidas anteriormente?

¿Cuál es la mejor manera de aprender matemáticas más avanzadas para estudiantes graduados?

¿Qué es [matemáticas] x [/ matemáticas]?

¿Cuáles son algunas líneas asombrosas de matemáticas?

¿Qué tipo de primera diferencia directa se aplicó para esta conductancia de la piel?

Cómo demostrar que existe x & y tal que la sociedad xy contiene un subgrupo de 5 niños y 5 niñas en el que todos los niños conocen a todas las niñas o no

¿Cuál fue su experiencia como estudiar Matemáticas adicionales para niveles A en Singapur?

¿Cómo resuelvo (1+ | xy-1 |) <(1+ | y-1 |) (1+ | x-1 |)?