ダウンロード数: 33
このアイテムのファイル:
ファイル | 記述 | サイズ | フォーマット | |
---|---|---|---|---|
RIMS1966.pdf | 212.42 kB | Adobe PDF | 見る/開く |
タイトル: | Continuous Functions on Final Comodels of Free Algebraic Theories |
著者: | YOSHIDA, Tomoya |
発行日: | Sep-2022 |
出版者: | Research Institute for Mathematical Sciences, Kyoto University |
開始ページ: | 1 |
終了ページ: | 17 |
論文番号: | RIMS-1966 |
抄録: | In 2009, Ghani, Hancock and Pattinson gave a tree-like representation of stream processors A[N] → B[N]. In 2021, Garner showed that this representation can be established in terms of algebraic theory and comodels: the set of infinite streams A[N] is the final comodel of the algebraic theory of A-valued input [T][A] and the set of stream processors Top(A[N] , B[N]) can be seen as the final [T][A]-[T][B]-bimodel. In this paper, we generalize Garner's results to the case of free algebraic theories. |
URI: | http://hdl.handle.net/2433/276396 |
関連リンク: | http://www.kurims.kyoto-u.ac.jp/preprint/index.html |
出現コレクション: | 数理解析研究所プレプリント |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。