Stream processors and comodels

Richard Garner*

*Corresponding author for this work

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

    2 Citations (Scopus)
    7 Downloads (Pure)


    In 2009, Ghani, Hancock and Pattinson gave a coalgebraic characterisation of stream processors AN → BN 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 AN → BN. Our account sites both our result and that of op. cit. within the apparatus of comodels for algebraic effects originating with Power–Shkaravska.

    Original languageEnglish
    Title of host publication9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)
    EditorsFabio Gadducci, Alexandra Silva
    Place of PublicationGermany
    PublisherDagstuhl Publishing
    Number of pages17
    ISBN (Electronic)9783959772129
    Publication statusPublished - 2021
    Event9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021 - Virtual, Salzburg, Austria
    Duration: 31 Aug 20213 Sept 2021


    Conference9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021
    CityVirtual, Salzburg

    Bibliographical note

    Copyright the Author(s). Version archived for private and non-commercial use with the permission of the author/s and according to publisher conditions. For further rights please contact the publisher.


    • Comodels
    • residual comodels
    • bimodels
    • streams
    • stream processors


    Dive into the research topics of 'Stream processors and comodels'. Together they form a unique fingerprint.

    Cite this