随伴関手を用いた圏論的結合子の導出

• Item type: Journal(1)
• 公開日: 1995-10-15
• タイトル: 随伴関手を用いた圏論的結合子の導出
• タイトル / 言語: en
• タイトル: Deriving Categorical Combinators from Adjoint Functors
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: ソフトウェア・ソフトウェア工学
• 著者所属: 京都大学工学部／現在，オックスフォード大学計算研究所
• 著者所属: 大阪工業大学
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Kyoto University/Presently with Oxford University Computing Laboratory
• 著者所属(英): en
• 著者所属(英): Osaka Institute of Technology
• 著者名: 森, 彰; 松本, 吉弘
• 著者名(英): Akira, Mori; Yoshihiro, Matsumoto
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 圏論的結合子（categorical vombinator）はラムダ計算の変数を含まない翻訳であることから、圏論的解釈を利用した関数型言語の実装に用いられている。本稿では圏の構造を随伴関手（adjointfunctor）で定義することで、圏論的結合子とその等式が圏論の基本概念から天下り的に導かれることを示す。圏論的結合子は随伴関手に付随する自然変換である単因子（unit）と余単因子（counit）として得られ、その等式は圏、関手、自然変換の定義、および随伴関手の三角可換図（triangular identity）から直接導かれる。まず最初にカルテシアン閉圏（cartesian closed category）のための圏論的結合子の導出について述べ、これを用いた自由圏の構成を示す。そして次に圏論的結合子の非外延的（non-extensional)な等武が半随伴関手（semi-adojoint functor）から導かれることを示す。最後に一般の極限対象（1imit object）や再帰的対象（recursive object）について考察し、その際に右随伴関手と左随伴関手の双対性（dua1ity）がどのように作用するかをみる。
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 36, 号 10, p. 2422-2432, 発行日 1995-10-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764