- Álgebra Linear Gráfica é um blog que explica de forma envolvente conceitos de álgebra linear e teoria das categorias usando diagramas
- Cada episódio aborda temas matemáticos centrais como adição, matrizes, inteiros, frações e subespaços por uma perspectiva visual
- Oferece interpretações categóricas como PROPs, categorias monoidais e relações lineares, reforçando a conexão com a álgebra linear tradicional
- O blog busca ser uma comunidade aberta de pesquisa e aprendizagem para pesquisadores e estudantes
- Também mantém ligação ativa com contribuições externas, workshops e projetos de tradução
Introdução à Álgebra Linear Gráfica
- Álgebra Linear Gráfica (Graphic Linear Algebra) é um blog centrado em diagramas visuais que apresenta de forma acessível conceitos abstratos de matemática, como álgebra linear e teoria das categorias
- O objetivo principal é ir além da álgebra linear tradicional centrada em fórmulas, transmitindo conceitos complexos de modo mais compreensível por meio do pensamento visual e de argumentações com diagramas
- Os muitos episódios cobrem, em categorias diferentes, conceitos principais, algoritmos, relações e estudos de caso, e o conteúdo continua sendo expandido e atualizado como um projeto aberto em pesquisa
- O blog oferece um espaço de aprendizado e comunicação pensado para leitores de diferentes perfis, como pesquisadores, pós-graduandos e desenvolvedores atuando no mercado
Principais episódios e estrutura
Introduction
- Reúne episódios com conteúdos introdutórios, como Makélélé e álgebra linear, metodologia da argumentação e introdução aos diagramas
Adding and Copying
- Explora a essência dos números naturais e das operações por meio de uma lógica diagramática, tratando de adição, cópia, descarte e definição de regras
- Destaca-se pelo uso de exemplos familiares e narrativa, como Mr Fibonacci e a analogia com Lego
- Mostra visualmente como as operações de adição e cópia se conectam à estrutura dos números naturais
Matrices and PROPs
- Apresenta conceitos mais avançados de teoria das categorias, como matrizes, PROPs (Products and Permutations categories) e categorias monoidais
- Explica várias transformações, como a passagem de diagramas para matrizes, isomorfismos de PROPs e representações diagramáticas de matrizes
- Com essa abordagem categórica, enfatiza a essência e a capacidade de expansão da álgebra linear
Integers and Relations
- Discute temas avançados como matrizes inteiras, causalidade e feedback, funções e relações, e a fórmula de Frobenius
- Explica teoria dos números, relações, funções e diversas estruturas matemáticas por meio de métodos diagramáticos
Fractions and Spaces
- Aborda a expansão da álgebra linear sob vários ângulos, incluindo frações, subespaços, relações lineares, matrizes inversas e impossibilidade de divisão
- Com diagramas, interpreta de forma acessível operações complexas, a estruturação de espaços e teoremas sobre inversão de matrizes
Redundancy – trilogia de Jason Erbele
- Apresenta uma nova perspectiva tendo a redundância (Redundancy) como tema central dentro da Álgebra Linear Gráfica
Interlude – string diagrams e gramática sensível a recursos
- Destaca a importância e os usos de string diagrams
Sequences and Signal Flow Graphs
- Trata de modelos baseados em sequências, como a sequência de Fibonacci e grafos de fluxo de sinal
Out of order
- Aborda seletivamente temas mais avançados, como projeção ortogonal e autovalores
Contributions
- Inclui contribuições especiais de pesquisadores externos sobre determinantes, o lema de Lindström-Gessel-Vienot e outros temas
Offtopic
- Às vezes trata de notícias da comunidade de matemática e TI, como questões sobre universidades e ambiente de pesquisa, discussões sobre monóide-mônada-categoria e avisos de workshops
Aprendizado e comunidade
- O blog é escrito em inglês, e a participação em traduções para vários idiomas também é ativa
- Fornece informações sobre projetos abertos de pesquisa, como escolas de pesquisa em ACT (teoria categórica aplicada)
- Há oportunidades de participação por meio de canais de assinatura e feedback, recrutamento de doutorandos e projetos de tradução
Características e significado
- Explora de forma sistemática o uso de diagramas como ferramenta de visualização no ensino de álgebra linear, teoria das categorias e algoritmos
- Oferece uma base para que até leitores não acostumados a fórmulas compreendam estruturas matemáticas complexas por meio de uma abordagem intuitiva e exemplos repetidos
- Como plataforma aberta, é um material de aprendizado útil para acompanhar pesquisas recentes, contribuições e networking
1 comentários
Comentários do Hacker News
Ao codificar computação com combinadores de interação simétricos em redes de interação, é impressionante como alguns diagramas têm formas quase idênticas
Do ponto de vista do cálculo lambda, a forma como o nó de adição é copiado no texto "When Adding met Copying" corresponde exatamente à repetição de cópia de um termo lambda na forma (λx.x x) M
Para mais detalhes, vale consultar este texto e a explicação do diagrama
Quando li pela primeira vez o capítulo que explicava de verdade grafos e comutatividade, achei que ele estava sendo prolixo ao explicar uma ideia simples
Mas eu sempre tive dificuldade para lembrar os termos matemáticos que começam com c, como comutatividade e associatividade
Foi a primeira vez que consegui fixar de verdade o que é comutatividade por meio de uma representação gráfica, e a conexão foi tão divertida que eu literalmente ri alto
Eu entendia a fórmula "x + y = y + x", mas o efeito de um diagrama gráfico ficar gravado na memória junto com o nome foi muito mais forte
Fiquei realmente encantado com essa forma de explicação
Acho que não está no índice
Trata-se de generalized Transformers a partir de Applicative Functors
Em machine learning, Transformer é a base dos modelos de ponta e foi proposto originalmente em [arXiv:1706.03762]
Este post apresenta um Transformer generalizado que pode operar sobre (quase) qualquer estrutura — funções, grafos, distribuições de probabilidade etc. —
Ele mostra como aplicar isso a várias estruturas, sem se limitar a matrizes ou vetores
Faz parte de uma série de ideias que explora machine learning por meio desse tipo de diagrama abstrato
Mais detalhes podem ser vistos aqui
Eu realmente gosto desse tipo de material, mas me incomoda o uso repetido de palavras como "fácil" e "simples"
Para leitores que não entendem um conceito imediatamente durante a leitura, isso pode acabar gerando ainda mais frustração ou até desistência, por fazer a pessoa se sentir lenta
Essas palavras tentam criar proximidade, mas podem causar o efeito oposto, então é preciso cuidado
Em documentação, é melhor nunca usar palavras como "evidente" ou "obvious"
Se algo fosse realmente evidente, o leitor nem precisaria consultar a documentação
Demonstrações emocionais desnecessariamente explícitas no texto — por exemplo, escrever diretamente algo como "essa parte me deixou irritado" — podem até reduzir a imersão do leitor
Se você mostrar o ponto principal e falar de forma clara e concisa, o leitor consegue entender por si mesmo com mais facilidade
Em vez de forçar a avaliação de que algo é "fácil de entender", é melhor partir da perspectiva de que leitores de vários níveis podem estar dispostos a enfrentar o desafio
Como é muito difícil que absolutamente todo leitor ache algo simples de entender, o ideal é comunicar da maneira mais fácil e clara possível, aceitando ao mesmo tempo que a dificuldade percebida pode variar de pessoa para pessoa
Li esse material com muito prazer quando saiu, e até acompanhei com alguns alunos
Mas é uma pena que agora pareça ter sido descontinuado
Pawel, talvez... mas não tenho certeza
"O que a internet me ensinou é que ser humano + anonimato = desagradável"
É um dos meus ditados favoritos, e fica ainda mais fácil se identificar vendo a tirinha do Penny Arcade
Alguns anos atrás, quando li alguns capítulos desse material, foi a primeira vez que percebi o quanto representações diagramáticas podem ser poderosas no raciocínio lógico
Nunca cheguei a fazer nada prático com string diagrams, mas foi extremamente divertido ver o tipo de coisa que esse sistema torna possível
Se tivessem ensinado cálculo assim na escola, com esse tipo de material visual, acho que minha compreensão e meu interesse teriam sido muito maiores
Fiquei mais uma vez impressionado com o quanto representações visuais podem elevar o entendimento
Nunca entendi isso completamente, mas me lembra o zx-calculus
Introdução ao ZX-calculus (wiki)
Isso me faz lembrar do trabalho de Bob Coecke, da University of Oxford, que criou uma linguagem pictórica para processos quânticos
Se quiser se aprofundar mais, também vale conferir a thread correspondente no Hacker News
Também gostaria de recomendar o material Immersive Linear Algebra
Você pode ver mais na página do Immersive Linear Algebra e na thread do Hacker News (aqui)