Continuous Functions on Final Comodels of Free Algebraic Theories

Tomoya Yoshida

In 2009, Ghani, Hancock and Pattinson gave a tree-like representation of stream processors $A^{\mathbb{N}}\to B^{\mathbb{N}}$. In 2021, Garner showed that this representat…