Stream processors and comodels

Richard Garner

doi:10.46298/LMCS-19(1:2)2023

Stream processors and comodels

Richard Garner^*

^*Corresponding author for this work

School of Mathematical and Physical Sciences

Research output: Contribution to journal › Article › peer-review

51 Downloads (Pure)

Abstract

In 2009, Hancock, Pattinson and Ghani 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. Within this apparatus, the distinction between intensional and extensional equivalence for stream processors arises in the same way as the the distinction between bisimulation and trace equivalence for labelled transition systems and probabilistic generative systems.

Original language	English
Pages (from-to)	2:1-2:24
Number of pages	24
Journal	Logical Methods in Computer Science
Volume	19
Issue number	1
DOIs	https://doi.org/10.46298/LMCS-19(1:2)2023
Publication status	Published - 12 Jan 2023

Bibliographical note

Copyright © R. Garner. 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.

Same title conference paper published in 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Gadducci, F. & Silva, A. (eds.). Germany: Dagstuhl Publishing, p. 15:1–15:17, https://doi.org/10.4230/LIPIcs.CALCO.2021.15

Keywords

bimodels
Comodels
residual comodels
stream processors
streams
trace

Access to Document

10.46298/LMCS-19(1:2)2023Licence: CC BY

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

Cite this

@article{805e890646cc408581f4391e13c074f7,

title = "Stream processors and comodels",

abstract = "In 2009, Hancock, Pattinson and Ghani 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. Within this apparatus, the distinction between intensional and extensional equivalence for stream processors arises in the same way as the the distinction between bisimulation and trace equivalence for labelled transition systems and probabilistic generative systems.",

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

author = "Richard Garner",

note = "Copyright {\textcopyright} R. Garner. 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. Same title conference paper published in 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Gadducci, F. & Silva, A. (eds.). Germany: Dagstuhl Publishing, p. 15:1–15:17, https://doi.org/10.4230/LIPIcs.CALCO.2021.15",

year = "2023",

month = jan,

day = "12",

doi = "10.46298/LMCS-19(1:2)2023",

language = "English",

volume = "19",

pages = "2:1--2:24",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "Technischen Universitat Braunschweig",

number = "1",

}

TY - JOUR

T1 - Stream processors and comodels

AU - Garner, Richard

N1 - Copyright © R. Garner. 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. Same title conference paper published in 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Gadducci, F. & Silva, A. (eds.). Germany: Dagstuhl Publishing, p. 15:1–15:17, https://doi.org/10.4230/LIPIcs.CALCO.2021.15

PY - 2023/1/12

Y1 - 2023/1/12

N2 - In 2009, Hancock, Pattinson and Ghani 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. Within this apparatus, the distinction between intensional and extensional equivalence for stream processors arises in the same way as the the distinction between bisimulation and trace equivalence for labelled transition systems and probabilistic generative systems.

AB - In 2009, Hancock, Pattinson and Ghani 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. Within this apparatus, the distinction between intensional and extensional equivalence for stream processors arises in the same way as the the distinction between bisimulation and trace equivalence for labelled transition systems and probabilistic generative systems.

KW - bimodels

KW - Comodels

KW - residual comodels

KW - stream processors

KW - streams

KW - trace

UR - http://www.scopus.com/inward/record.url?scp=85146370205&partnerID=8YFLogxK

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

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

U2 - 10.46298/LMCS-19(1:2)2023

DO - 10.46298/LMCS-19(1:2)2023

M3 - Article

AN - SCOPUS:85146370205

SN - 1860-5974

VL - 19

SP - 2:1-2:24

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

IS - 1

ER -

Stream processors and comodels

Abstract

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

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