Tomoya Yoshida - Continuous Functions on Final Comodels of Free Algebraic Theories

entics:10374 - Electronic Notes in Theoretical Informatics and Computer Science, February 22, 2023, Volume 1 - Proceedings of MFPS XXXVIII - https://doi.org/10.46298/entics.10374
Continuous Functions on Final Comodels of Free Algebraic TheoriesArticle

Authors: Tomoya Yoshida

    In 2009, Ghani, Hancock and Pattinson gave a tree-like representation of stream processors $A^{\mathbb{N}} \rightarrow B^{\mathbb{N}}$. In 2021, Garner showed that this representation can be established in terms of algebraic theory and comodels: the set of infinite streams $A^{\mathbb{N}}$ is the final comodel of the algebraic theory of $A$-valued input $\mathbb{T}_A$ and the set of stream processors $\mathit{Top}(A^{\mathbb{N}},B^{\mathbb{N}})$ can be seen as the final $\mathbb{T}_A$-$\mathbb{T}_B$-bimodel. In this paper, we generalize Garner's results to the case of free algebraic theories.


    Volume: Volume 1 - Proceedings of MFPS XXXVIII
    Published on: February 22, 2023
    Accepted on: November 29, 2022
    Submitted on: November 27, 2022
    Keywords: Computer Science - Logic in Computer Science,Mathematics - Category Theory

    Consultation statistics

    This page has been seen 82 times.
    This article's PDF has been downloaded 60 times.