方言

抽象代数学において、ダイアルジェブラとは代数と余代数の両方の一般化である。この概念はもともとラムベックによって「部分等化子」として導入され、^{[ 1 ] [ 2 ]}、萩野達也によってダイアルジェブラと名付けられた。^{[ 3 ] [ 2 ]}多くの代数的概念がダイアルジェブラに一般化されてきた。^{[ 4 ]}ダイアルジェブラはまた、関連する代数からリー代数を得ようとする。^{[ 5 ]}

参照

• F代数

参考文献

1. Lambek, Joachim (1970). 「サブイコライザー」. Canadian Mathematical Bulletin . 13 (3): 337– 349. doi : 10.4153/CMB-1970-065-6 . MR  0274552 .
2. Backhouse, Roland; Hoogendijk, Paul (1999). 「最終的ダイアルジェブラ：カテゴリーからアレゴリーへ」（PDF） . RAIRO 理論情報学と応用. 33 ( 4–5 ): 401– 426. doi : 10.1051/ita:1999126 . MR 1748664 . 
3. 萩野達也 (1987). 「カテゴリ型構築子を備えた型付きラムダ計算」. Pitt, David H.; Poigné, Axel; Rydeheard, David E. (編).カテゴリー理論とコンピュータサイエンス, エディンバラ, イギリス, 1987年9月7日～9日, Proceedings . Lecture Notes in Computer Science . Vol. 283. Springer. pp.  140– 157. doi : 10.1007/3-540-18508-9_24 . ISBN 978-3-540-18508-6。
4. Poll, Erik; Zwanenburg, Jan (2001). 「代数と余代数からダイアル代数へ」(PDF) . Corradini, Andrea, Lenisa, Marina, Montanari, Ugo (編).計算機科学における余代数的手法, CMCS 2001, ETAPS 2001のサテライトイベント, ジェノバ, イタリア, 2001年4月6日～7日. Electronic Notes in Theoretical Computer Science . Vol. 44 (第1版). Elsevier. pp.  289– 307. doi : 10.1016/S1571-0661(04)80915-0 . hdl : 2066/19049 .
5. ロデー、ジャン＝ルイ (2001)。 「ディアル数学」。ロデーでは、ジャン＝ルイ。シャポトン、フレデリック。フラベッティ、アレッサンドラ。ゴイショー、フランソワ（編）。ディアル数学と関連するオペランド。数学の講義ノート。 Vol. 1763年。スプリンガー。 pp.  7–66 . doi : 10.1007/3-540-45328-8_2。ISBN 3-540-42194-7。MR  1860994。Zbl  0999.17002。

さらに読む

• nLabにおける代数