Operações categoriais sobre animações computacionais baseadas em autômatos finitos com saída: produto, coproduto, produto fibrado e soma amalgamada

Abstract

Este trabalho aborda as pesquisas acerca da aplicação das operações categoriais de Produto, Coproduto, Produto Fibrado e Soma Amalgamada sobre animações computacionais baseadas em autômatos finitos com saída (Modelo AGA). O presente trabalho resultou em um software, denominado AgaCategory, onde essas operações categoriais são implementadas. O software é definido de tal forma que os autômatos originais possam gerar novas animações sem que outros autômatos precisem ser gerados. Esses novos atores (que são as imagens da animação) podem ser gerados apenas com a aplicação das operações categoriais, sem que sejam perdidos os atores originais, os quais podem ser utilizados quantas vezes se desejar. Com a implementação desse software, é possível visualizar as mudanças que cada uma das operações categoriais provoca na animação. A implementação se torna simples devido à utilização das operações matemáticas categoriais.