Objetivo - O curso tem como objetivo apresentar os fundamentos da Teoria das Categorias aplicada à Programação e demonstrar sua utilização no campo da Visualização de Dados. Os
conceitos teóricos serão ilustrados através de implementações práticas feitas na linguagem de programação Julia.

Introdução à Teoria das Categorias

  • Introdução à Teoria das Categorias: objetos, morfismos, categorias, funtores, transformações naturais, monóides, monadas, F-álgebras.
  • Dia 2: Teoria das Categorias em Programação.
  • Conceitos básicos de programação funcional.
  • Estrutura de Tipos na linguagem Julia.
  • Interpretando programas com Teoria das Categorias.

Fundamentos de Visualização de Dados

  • Breve história da Visualização de Dados.
  • Básicos de Visualização de Dados.
  • Gramáticas de Gráficos.

Aplicação da Teoria das Categorias em Visualização de Dados

  • Formalizando Visualização de Dados através de Teoria das Categorias.
  • Diagramas, Arvores de Diagramas, Marcas e Arvores de Marcas.
  • Construindo gráficos através de expressões.
  • Utilizando Vizagrams, um framework de Visualização de Dados fundamentado em Teoria de Categorias.

 

Referências
Davi Sales Barreira. Vizagrams. Zenodo, August 2024. doi: 10.5281/zenodo.13331908. URL https://doi.org/10.5281/zenodo.13331908.
Jacques Bertin. Semiology of graphics. University of Wisconsin press, 1983. Michael Friendly. The Golden Age of Statistical Graphics. Statistical Science, 23(4):502 – 535, 2008. doi: 10.1214/08-STS268. URL https://doi.org/10.1214/08-STS268.
Waqas Javed and Niklas Elmqvist. Exploring the design space of composite visualization. In 2012 ieee pacific visualization symposium, pages 1–8. IEEE, 2012.
Bartosz Milewski. Category theory for programmers. Blurb, 2018.
Bartosz Milewski. The dao of functional programming, 2023. URL https://github.com/Bartosz Milewski/Publications/blob/master/TheDaoOfFP/DaoFP.pdf. Available as PDF and on GitHub.
Tamara Munzner. Visualization analysis and design. CRC press, 2014.
Dominic Orchard and Alan Mycroft. Categorical programming for data types with restricted parametricity. Unpublished note, 2012.
Sandra Wiedemann and Sandra Rendgen. History of Information Graphics. Taschen, 2019. URL https://www.taschen.com/en/books/graphic-design/03435/ history-of-information-graphics.
Leland Wilkinson. The grammar of graphics. In Handbook of computational statistics, pages 375–414. Springer, 2012.
Brent A Yorgey. Monoids: theme and variations (functional pearl). ACM SIGPLAN Notices, 47(12):105–116, 2012.