自由代数理论最终余模型上的连续函数

2009 年，Ghani、Hancock 和 Pattinson 给出了流处理器 $A^{\mathbb{N}} \rightarrow B^{\mathbb{N}}$ 的树状表示。2021 年，Garner 表明这种表示可以用代数理论和余模型来建立：无限流集合 $A^{\mathbb{N}}$ 是 $A$ 值输入代数理论 $\mathbb{T}_A$ 的最终余模型，而流处理器集合 $\mathit{Top}(A^{\mathbb{N}},B^{\mathbb{N}})$ 可视为最终 $\mathbb{T}_A$-$\mathbb{T}_B$-双模型。在本文中，我们将 Garner 的结果推广到自由代数理论的情形。