11 noticias
El artículo explora la traducción del lema de Yoneda, un pilar fundamental de la teoría de categorías, al lenguaje de las categorías dobles. El autor argumenta que, aunque las construcciones estándar como los límites ponderados o las extensiones de Kan se generalizan fácilmente usando profuntores, l
Este ensayo, titulado "Power Relations", redefine el poder como un sinónimo de responsabilidad: una persona tiene poder sobre otra precisamente cuando es responsable de ella, ya se trate de decidir sobre la vida y la muerte o simplemente de elegir dónde almorzar. A partir de esa equivalencia, el tex
La reconstrucción tannakiana es un resultado de teoría de categorías que permite recuperar los morfismos de una categoría a partir del conjunto de todos los funtores que la representan en otra categoría. Un funtor actúa como una 'fotografía' de la categoría origen dentro de la categoría destino: con
Bartosz Milewski presenta en este artículo el concepto de "equipo de Tambara" (Tambara equipment), una estructura categórica que generaliza los equipos de proarrows al ámbito de los actegorías y los módulos de Tambara. Tras recordar su trabajo previo sobre óptica functorial —desarrollado junto a inv
Las actegorías son una construcción de la teoría de categorías que permite que una categoría soporte la acción de una categoría monoidal, multiplicando o escalando sus objetos. En programación, ocupan un papel central en las llamadas ópticas (lentes, prismas, traversals), ya que estas se modelan com
El curso "Applied Category Theory", impartido por John Baez y convertido en páginas web por Simon Burton, es un recurso educativo abierto basado en el libro "Seven Sketches in Compositionality: An Invitation to Applied Category Theory" de Brendan Fong y David Spivak. El material está estructurado en
Un artículo divulgativo explica cómo los quivers, grafos dirigidos que permiten múltiples aristas y bucles, sirven como marco para generalizar los contenidos de un curso universitario de álgebra lineal de un año. El texto parte del concepto de representación algebraica: sustituir un objeto abstracto
CQL (Categorical Query Language) es un lenguaje de programación funcional de código abierto y su entorno integrado de desarrollo (IDE) que aplica la teoría de categorías —una rama de las matemáticas que ha transformado varias áreas de la informática— a tareas de datos como consultas, combinación, mi
Este artículo de 'Category Theory Illustrated' explora el concepto de 'orden' en matemáticas y programación, más allá de la simple idea de secuenciación. Un orden, en su forma más básica, es un conjunto de elementos con una relación binaria definida que los conecta. La forma más común que solemos pe
El artículo explora cómo la teoría de categorías puede proporcionar una comprensión más profunda de la estructura interna de las librerías de DataFrames, como pandas. La complejidad de estas librerías, con sus numerosos métodos (a veces más de 200), puede llevar a una memorización superficial de la
El artículo explora el concepto de 'Free Monads' en Haskell, presentándolos como una forma de listas en la categoría de endofuntores. Se profundiza en la teoría de categorías, incluyendo conceptos como Endo, Natural Transformations, Product functors y HFunctors, para explicar la relación entre Free