- Álgebra lineal gráfica es un blog que utiliza diagramas para explicar de forma interesante conceptos de álgebra lineal y teoría de categorías
- Cada episodio aborda visualmente temas matemáticos clave como suma, matrices, enteros, fracciones y subespacios
- Ofrece interpretaciones categóricas como PROPs, categorías monoidales y relaciones lineales, reforzando su conexión con el álgebra lineal tradicional
- El blog apunta a ser una comunidad abierta de investigación y aprendizaje para investigadores y estudiantes
- También mantiene una vinculación activa con colaboraciones externas, talleres y proyectos de traducción
Introducción al álgebra lineal gráfica
- Álgebra lineal gráfica (Graphic Linear Algebra) es un blog centrado en diagramas visuales que presenta de manera accesible conceptos matemáticos abstractos como álgebra lineal y teoría de categorías
- Su objetivo principal es ir más allá del álgebra lineal tradicional centrada en fórmulas y transmitir conceptos complejos de forma más comprensible mediante pensamiento visual y razonamiento con diagramas
- Los numerosos episodios tratan, por categorías, conceptos principales, algoritmos, relaciones y estudios de caso, y el contenido sigue ampliándose y actualizándose continuamente como un proyecto abierto en investigación
- El blog ofrece un espacio de aprendizaje y comunicación pensado para lectores con distintos perfiles, como investigadores, estudiantes de posgrado y desarrolladores en activo
Episodios principales y estructura
Introduction
- Consta de episodios que cubren contenidos básicos como Makélélé y el álgebra lineal, la metodología de la argumentación y la introducción a los diagramas
Adding and Copying
- Explora la esencia de los números naturales y las operaciones mediante lógica diagramática, incluyendo suma, copia, descarte y definición de reglas
- Se distingue por ejemplos cercanos y un estilo narrativo, como Mr Fibonacci y la analogía con Lego
- Muestra visualmente cómo las operaciones de suma y copia se conectan con la estructura de los números naturales
Matrices and PROPs
- Introduce conceptos avanzados de teoría de categorías como matrices, PROPs (Products and Permutations categories) y categorías monoidales
- Explica distintas transformaciones, como el paso de diagramas a matrices, los isomorfismos de PROPs y la representación diagramática de matrices
- A través de este enfoque categórico, enfatiza la esencia y extensibilidad del álgebra lineal
Integers and Relations
- Discute temas avanzados como matrices enteras, causalidad y retroalimentación, funciones y relaciones, y la fórmula de Frobenius
- Explica teoría de números, relaciones, funciones y diversas estructuras matemáticas mediante métodos diagramáticos
Fractions and Spaces
- Aborda la expansión del álgebra lineal desde múltiples perspectivas, incluyendo fracciones, subespacios, relaciones lineales, matrices inversas e imposibilidad de división
- Mediante diagramas, interpreta con facilidad operaciones complejas, la estructuración de espacios y teoremas sobre inversas de matrices
Redundancy – trilogía de Jason Erbele
- Presenta una nueva perspectiva dentro de Álgebra lineal gráfica con la redundancia (Redundancy) como tema central
Interlude – diagramas de cuerdas y gramática sensible a recursos
- Destaca la importancia y los usos de los string diagrams
Sequences and Signal Flow Graphs
- Trata modelos basados en secuencias como la sucesión de Fibonacci y los grafos de flujo de señales
Out of order
- Aborda de forma selectiva temas más avanzados como proyecciones ortogonales y valores propios
Contributions
- Incluye colaboraciones especiales de investigadores externos sobre determinantes y el lema de Lindström-Gessel-Vienot, entre otros temas
Offtopic
- A veces trata noticias de la comunidad matemática y de TI, como temas universitarios y del entorno de investigación, discusiones sobre monoides, mónadas y categorías, y anuncios de talleres
Aprendizaje y comunidad
- El blog está escrito en inglés y también cuenta con una participación activa en traducciones a varios idiomas
- Ofrece información relacionada con proyectos abiertos de investigación como la escuela de investigación ACT (teoría de categorías aplicada)
- Hay abiertas oportunidades de participación como canales de suscripción y retroalimentación, convocatoria para estudiantes de doctorado y proyectos de traducción
Características y relevancia
- Explora de manera sistemática cómo usar diagramas como herramienta de visualización en la enseñanza de álgebra lineal, teoría de categorías y algoritmos
- Incluso lectores no familiarizados con las fórmulas pueden obtener una base para comprender estructuras matemáticas complejas mediante un enfoque intuitivo y ejemplos repetidos
- Como plataforma abierta, es un recurso de aprendizaje útil para seguir investigación reciente, contribuciones y networking
1 comentarios
Comentarios de Hacker News
Al codificar computación con combinadores de interacción simétricos en redes de interacción, impresiona ver que algunos diagramas tienen formas casi idénticas
Desde la perspectiva del cálculo lambda, la forma en que se copia el nodo de suma en el artículo "When Adding met Copying" coincide exactamente con la duplicación repetida de términos lambda de la forma (λx.x x) M
Para más detalles, vale la pena revisar este artículo y la explicación del diagrama
Cuando leí por primera vez el capítulo donde se explica en serio sobre grafos y la conmutatividad, pensé que estaba explicando un concepto simple de forma demasiado extensa
Pero siempre me ha costado recordar los términos matemáticos que empiezan con c, como conmutatividad y asociatividad
Gracias a la representación gráfica, fue la primera vez que recordé con claridad qué era la conmutatividad, y de hecho la conexión me pareció tan divertida que me hizo reír en voz alta
Entendía la fórmula "x + y = y + x", pero el diagrama gráfico se me quedó grabado en la mente junto con el nombre de una forma mucho más fuerte
De verdad me encantó esta forma de explicar las cosas
No parece estar en la tabla de contenido (ToC)
Se trata de Transformers generalizados a partir de Applicative Functors
En machine learning, Transformer es la base de los modelos de vanguardia, y fue propuesto originalmente en [arXiv:1706.03762]
Este post presenta un Transformer generalizado que puede operar sobre (casi) cualquier estructura —funciones, grafos, distribuciones de probabilidad, etc.—
Explica cómo aplicarlo a diversas estructuras sin limitarse solo a matrices o vectores
Es parte de una serie de ideas que explora el machine learning mediante este tipo de diagramas abstractos
Puedes ver más detalles aquí
Me gustan mucho este tipo de materiales, pero me decepciona que repitan tanto palabras como "fácil" o "simple"
Para un lector que no logra entender el concepto al instante mientras lee la explicación, eso puede generar aún más frustración o incluso hacer que abandone
Hay que tener cuidado con esas palabras, porque al intentar sonar cercanas pueden terminar produciendo el efecto contrario
En una explicación, es mejor no usar nunca palabras como "evidente" u "obvious"
Si algo fuera realmente evidente, el lector ni siquiera estaría leyendo la explicación
En un texto, expresar emociones de forma innecesariamente explícita —por ejemplo, escribir directamente "esta escena me enojó"— puede incluso romper la inmersión del lector
Si muestras con claridad la idea central y la explicas de manera clara y concisa, el lector puede entenderla por sí mismo con mayor facilidad
En vez de imponerle al lector la evaluación de que "es fácil de entender", es mejor asumir que lectores de distintos niveles pueden estar dispuestos a afrontar el reto
Como es muy difícil que absolutamente todos los lectores lo entiendan con facilidad, hace falta intentar comunicarlo de la manera más simple y clara posible, pero también aceptar que la dificultad percibida puede variar de una persona a otra
Cuando salió este material lo leí con muchísimo gusto, e incluso lo seguí junto con mis estudiantes
Pero ahora parece estar descontinuado, y eso da pena
Parece que fue pawel..., aunque no estoy seguro
"Lo que me enseñó internet es que humano + anonimato = desagradable"
Es uno de mis aforismos favoritos, y se siente todavía más cierto si ves el cómic de Penny Arcade
Hace unos años, cuando leí algunos capítulos de este material, fue la primera vez que entendí lo poderosas que pueden ser las representaciones diagramáticas en el razonamiento lógico
No es que haya hecho algo práctico con string diagrams, pero realmente disfruté ver las cosas que este sistema hace posible
Pienso que si en la escuela hubieran enseñado cálculo con este tipo de material visual, mi comprensión y mi interés habrían sido muchísimo mayores
Me volvió a sorprender lo enorme que puede ser el poder de la representación visual para elevar la comprensión
Nunca he entendido esto por completo, pero me recuerda a zx-calculus
Introducción a ZX-calculus (wiki)
Esto me hace pensar en el trabajo de Bob Coecke, de la University of Oxford, que ideó un lenguaje visual para procesos cuánticos
Si te interesa más, también vale la pena revisar ese hilo en Hacker News
También quisiera recomendar el material Immersive Linear Algebra
Puedes ver más en la página de Immersive Linear Algebra y en el hilo de Hacker News (aquí)