Resumo
A teoria K é útil para encontrar invariantes algébricos de sistemas dinâmicos. Eu gostaria de estudar as relações entre os sistemas K-thoery e shift-flip de tipos finitos. Meu objetivo de longo prazo é classificar os sistemas de deslocamento de tipos finitos.