Stream processors and comodels

Richard Garner

doi:10.4230/LIPIcs.CALCO.2021.15

Stream processors and comodels

Richard Garner^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

2 Citations (Scopus)

25 Downloads (Pure)

Abstract

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

Original language	English
Title of host publication	9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)
Editors	Fabio Gadducci, Alexandra Silva
Place of Publication	Germany
Publisher	Dagstuhl Publishing
Pages	15:1–15:17
Number of pages	17
ISBN (Electronic)	9783959772129
DOIs	https://doi.org/10.4230/LIPIcs.CALCO.2021.15
Publication status	Published - 2021
Event	9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021 - Virtual, Salzburg, Austria Duration: 31 Aug 2021 → 3 Sept 2021

Conference

Conference	9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021
Country/Territory	Austria
City	Virtual, Salzburg
Period	31/08/21 → 3/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

Access to Document

10.4230/LIPIcs.CALCO.2021.15Licence: CC BY

Publisher version (open access)Final published version, 704 KBLicence: CC BY

Cite this

@inproceedings{cada44fa3cb047e281d844debe6dbeb1,

title = "Stream processors and comodels",

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.",

keywords = "Comodels, residual comodels, bimodels, streams, stream processors",

author = "Richard Garner",

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.; 9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021 ; Conference date: 31-08-2021 Through 03-09-2021",

year = "2021",

doi = "10.4230/LIPIcs.CALCO.2021.15",

language = "English",

pages = "15:1–15:17",

editor = "Fabio Gadducci and Alexandra Silva",

booktitle = "9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)",

publisher = "Dagstuhl Publishing",

address = "Germany",

}

TY - GEN

T1 - Stream processors and comodels

AU - Garner, Richard

N1 - 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.

PY - 2021

Y1 - 2021

N2 - 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.

AB - 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.

KW - Comodels

KW - residual comodels

KW - bimodels

KW - streams

KW - stream processors

UR - https://www.scopus.com/pages/publications/85120647426

UR - http://purl.org/au-research/grants/arc/FT160100393

UR - http://purl.org/au-research/grants/arc/DP190102432

U2 - 10.4230/LIPIcs.CALCO.2021.15

DO - 10.4230/LIPIcs.CALCO.2021.15

M3 - Conference proceeding contribution

AN - SCOPUS:85120647426

SP - 15:1–15:17

BT - 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)

A2 - Gadducci, Fabio

A2 - Silva, Alexandra

PB - Dagstuhl Publishing

CY - Germany

T2 - 9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021

Y2 - 31 August 2021 through 3 September 2021

ER -

Stream processors and comodels

Abstract

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Enriched categories: Applications in geometry and logic

Working synthetically in higher categorical structures

Cite this

Stream processors and comodels

Abstract

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Projects

Enriched categories: Applications in geometry and logic

Working synthetically in higher categorical structures

Cite this