Category Theory (CT) is a branch of mathematics that studies general abstract structures through their relationships, and it is unmatched in its ability to organize and relate abstractions. In recent years, CT has found applications in a wide range of disciplines, such as chemistry, biology, natural language processing, and database theory. We present a novel application by formalizing Data Visualization within Category Theory. This formalization creates a bridge between Mathematics and Data Visualizations. Moreover, it provides a framework to express complex visualizations, which can be implemented computationally by leveraging the well-established connection between CT and Functional Programming.

Texto informado pelo autor.

* Os participantes dos seminários não poderão acessar às dependências da FGV usando bermuda, chinelos, blusa modelo top ou cropped, minissaia ou camiseta regata. O uso da máscara é facultativo, porém é obrigatória a apresentação do comprovante de vacinação (físico ou digital).