文献

J-GLOBAL ID：202002277213699783   整理番号：20A1034589

整礎および再帰的余代数について【JST・京大機械翻訳】

On Well-Founded and Recursive Coalgebras

著者 (3件)： Adamek Jiri (Czech Technical University, Prague, Czech Republic) ,  Milius Stefan (Friedrich-Alexander-Universitaet Erlangen-Nuernberg, Erlangen, Germany) ,  Moss Lawrence S. (Indiana University, Bloomington, IN, USA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12077  ページ： 17-36  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 本論文は,誘導と再帰のカテゴリー理論モデルに関する基本的疑問を研究した。著者らは,内部機能者のための良く設立された再帰的な共代数学の間の関係に関するものである。すべての共代数における完全で良く駆動されたカテゴリに関する単形写像保存のためには,良く設立された部分がある。そして,これがすべての良く設立された共代数のカテゴリにおける共反射であるという新しい,より短い証拠を提供する。著者らは,すべての良く設立された共代数が再帰的であるというテイラーの一般的再帰定理の新しいより一般的な証明を提示して,著者らはこの変換を意味する条件を研究した。さらに,著者らは,良い有界性の新しい等価特性化を提示した。共代数は,初期代数に対する共代数から代数への写像を許容する。Copyright The Author(s) 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *写像 ,  等価性 ,  カテゴリー理論
準シソーラス用語： 有界 , 【Automatic Indexing@JST】

著者キーワード (5件)： 十分な鋳造 ,  再帰 ,  余代数 ,  初期代数 ,  一般再帰定理

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (2件)： 礎 ,  代数