Teoría de categorías aplicada
La teoría de categorías aplicada es una disciplina académica en la que los métodos de la teoría de categorías se utilizan para estudiar otros campos [1] [2] [3] que incluyen , entre otros, informática , [4] [5] física (en particular, mecánica cuántica [6 ] [7] [8] ), teoría de control , [9] [10] procesamiento del lenguaje natural , [11] [12] teoría de probabilidad y causalidad. La aplicación de la teoría de categorías en estos dominios puede tomar diferentes formas. En algunos casos, el objetivo es la formalización del dominio en el lenguaje de la teoría de categorías, y la idea aquí es que esto aclararía la importante estructura y propiedades del dominio. En otros casos, la formalización se utiliza para aprovechar el poder de la abstracción con el fin de probar nuevos resultados sobre el campo.
Ver también
enlaces externos
Revistas:
Conferencias:
- Teoría de categorías aplicada
- Simposio sobre estructuras composicionales (SYCO) [13]
Libros:
- Representando procesos cuánticos
- Una invitación a la teoría de categorías aplicada
- Teoría de categorías para las ciencias
Referencias
- ^ "Teoría de categorías aplicada" . MIT OpenCourseWare . Consultado el 20 de julio de 2019 .
- ^ Spivak, David I .; Fong, Brendan (julio de 2019). Una invitación a la teoría de categorías aplicada por Brendan Fong . doi : 10.1017 / 9781108668804 . ISBN 9781108668804.
- ↑ Bradley, Tai-Danae (16 de septiembre de 2018). "¿Qué es la teoría de categorías aplicada?". arXiv : 1809.05923v2 [ math.CT ].
- ^ Barr, Michael. (1990). Teoría de categorías para ciencias de la computación . Wells, Charles. Nueva York: Prentice Hall. ISBN 0131204866. OCLC 19126000 .
- ^ Ehrig, Hartmut ; Große-Rhode, Martin; Wolter, Uwe (1 de marzo de 1998). "Aplicaciones de la Teoría de Categorías al Área de Especificación Algebraica en Informática". Estructuras categóricas aplicadas . 6 (1): 1–35. doi : 10.1023 / A: 1008688122154 . ISSN 1572-9095 . S2CID 290074 .
- ^ Abramsky, Samson ; Coecke, Bob (2009), "Mecánica cuántica categórica", Manual de lógica cuántica y estructuras cuánticas , Elsevier, págs. 261–323, arXiv : 0808.1023 , doi : 10.1016 / b978-0-444-52869-8.50010-4 , ISBN 9780444528698, S2CID 692816
- ^ Duncan, Ross; Coecke, Bob (2011). "Interactuar observables cuánticos: álgebra categórica y diagramática". Nueva Revista de Física . 13 (4): 043016. arXiv : 0906.4725 . Código Bibliográfico : 2011NJPh ... 13d3016C . doi : 10.1088 / 1367-2630 / 13/4/043016 . S2CID 14259278 .
- ^ Coecke, Bob. (16 de marzo de 2017). Representando procesos cuánticos: un primer curso de teoría cuántica y razonamiento diagramático . ISBN 978-1107104228. OCLC 1026174191 .
- ^ Maestro, Jade; Báez, John C. (16 de agosto de 2018). "Redes de Petri abiertas". arXiv : 1808.05415v4 [ math.CT ].
- ^ Báez, John C .; Pollard, Blake S. (2018). "Un marco compositivo para redes de reacción". Revisiones en Física Matemática . 29 (9): 1750028–425. arXiv : 1704.02051 . Código bibliográfico : 2017RvMaP..2950028B . doi : 10.1142 / S0129055X17500283 . ISSN 0129-055X . S2CID 119665423 .
- ^ Kartsaklis, Dimitri; Sadrzadeh, Mehrnoosh; Pulman, Stephen; Coecke, Bob (2016), "Razonamiento sobre el significado en lenguaje natural con categorías cerradas compactas y álgebras de Frobenius", Estructuras lógicas y algebraicas en Computación cuántica , Cambridge University Press, págs. 199-222, arXiv : 1401.5980 , doi : 10.1017 / cbo9781139519687 .011 , ISBN 9781139519687, S2CID 8630039
- ^ Grefenstette, Edward; Sadrzadeh, Mehrnoosh; Clark, Stephen; Coecke, Bob; Pulman, Stephen (2014), "Espacios de oración concretos para modelos de distribución de composición de significado", Tecnología del texto, el habla y el lenguaje , Springer Países Bajos, págs. 71-86, arXiv : 1101.0309 , doi : 10.1007 / 978-94-007-7284 -7_5 , ISBN 9789400772830, S2CID 2411818
- ^ "El Café de n-categoría" . golem.ph.utexas.edu . Consultado el 20 de julio de 2019 .
- Teoría de categorías
- Stubs de teoría de categorías
