Stream processors and comodels

Richard Garner*

*Corresponding author for this work

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

    Abstract

    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
    Pages15:1–15:17
    Number of pages17
    DOIs
    Publication statusPublished - 2021
    Event9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021 - Virtual, Salzburg, Austria
    Duration: 31 Aug 20213 Sep 2021

    Conference

    Conference9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021
    CountryAustria
    CityVirtual, Salzburg
    Period31/08/213/09/21

    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.

    Keywords

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

    Fingerprint

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

    Cite this