In 2009, Ghani, Hancock and Pattinson gave a coalgebraic characterisation of stream processors $A^\mathbb{N} \to B^\mathbb{N}$ drawing on ideas of Brouwerian constructivism. Their stream processors have an intensional character; in this paper, we give a corresponding coalgebraic characterisation of extensional stream processors, i.e., the set of continuous functions $A^\mathbb{N} \to B^\mathbb{N}$. Our account sites both our result and that of op. cit. within the apparatus of comodels for algebraic effects originating with Power-Shkaravska.

翻译：2009年,Ghani、Hancock和Pattinson根据布鲁韦里建筑学的理念,对流体处理器($A ⁇ mathbb{N})进行了煤星特征化。它们的流体处理器具有强化性;在本文中,我们给出了延伸体处理器的相应煤星特征化,即连续功能的组合 $A ⁇ mathbb{N}。我们的账户网站既包括我们的结果,也包括同前的相同结果。