Aplicaciones del mundo Real de la categoría de la teoría

Question

Estaba leyendo un poco de información básica de la Wiki sobre la categoría de teoría y sinceramente tengo una muy débil conocimiento sobre la misma. Como suena interesante, voy a ir en la teoría para aprender más si es realmente útil en la práctica.

Mi pregunta es saber si la categoría de la teoría tiene algunas aplicaciones en la práctica, es decir, en los problemas de ingeniería.

Ya he leído esto de las Aplicaciones de la categoría de teoría y topoi/topos de la teoría en la realidad

y las respuestas son sólo acerca de la programación que no son muy interesantes desde mi punto de vista.

Cualquier comentario es bienvenido, gracias de antemano.

Answer 1

La entrada del blog "¿por Qué Categoría de la Teoría de los Asuntos" por Robert Seaton termina con una impresionante lista de referencia de las aplicaciones de la categoría de la teoría de las ciencias:

• Categoría de la teoría ha sido utilizada para el estudio de la gramática y el lenguaje humano.
• En la construcción de una aplicación de hoja de cálculo.
• Como una herramienta descriptiva de la neurociencia.
• En el análisis y diseño de cognitivo neural arquitecturas de red.
• En los lenguajes de programación, especialmente Haskell y la más famosa de las mónadas, sino también, por ejemplo, un escrito de la asamblea de idiomas y trabajo en el escrito cálculo lambda.
• Programa de generación de optimizaciones.
• Para el modelo de los sistemas de interacción de los agentes.
• Para generalizar los algoritmos de ordenación.
• Para entender de colaboración para la edición de texto. Ver también en este blog.
• Para entender el juego óptimo en secuencial de juegos como el ajedrez.
• Para formalizar la noción de algoritmo.
• En el estudio de la analogía.
• Como "un lenguaje para el diseño experimental de patrones" y "un nuevo vocabulario en el que pensar y comunicar."
• En la definición de la aparición y de debates de la biología.

Answer 2

Categoría de la teoría está lejos de ser el libro de texto de ingeniería de nivel, por ahora. En el nivel de investigación, hay un montón de casos donde la categoría de teoría se aplica en el contexto de la ingeniería, desde eléctricas a la ingeniería biomédica. Pero tenga cuidado: estos por lo general vienen de la gente que trata de aplicar la categoría de teoría, más que de la gente que trata de resolver un problema de ingeniería y encontrar categoría de la teoría de la utilidad en hacerlo.

Answer 3

Esta respuesta también es muy tarde. Hay un libro reciente escrito por David Spivak titulado "la Categoría de la Teoría de las Ciencias." Su único propósito es conectar el "mundo real" con la categoría de teoría. Usted puede encontrar un viejo proyecto de aquí de los autores página de inicio.

Answer 4

Hace poco escribí un software para simular un mundo real físico del sistema para mostrar que una tecnología de hardware tiene una oportunidad de hacer lo que queremos hacer. Que el proyecto ha crecido de una bonita pieza importante de la ingeniería con un presupuesto considerable. Escribí la simulación en un lenguaje de programación cuya sintaxis podría ser descrito como el "lenguaje interno" de un Cartesiana cerrada categoría con un montón de extensiones, muchas de las cuales fueron categóricamente motivado.

Lamentablemente al final he tenido que cambiar a Python porque no podía encontrar bibliotecas de todo lo que yo quería.

El lenguaje fue Haskell.

Answer 5

Sé que esta respuesta es (muy) tarde, pero creo que esto puede ser de su interés. Este es el Tel. D. tesis del Profesor Aaron Ames de Texas A&M, que escribió mientras estudiaba en la UC Berkeley. Se aplica la categoría de la teoría de sistemas híbridos y específicamente los usos de la categoría de la teoría de los fines de la reducción de modelo y el análisis de estabilidad en sistemas híbridos. También presenta algunos resultados en los sistemas en red que están arraigados en la categoría de teoría.