始代数
(Initial algebra から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2013/12/28 13:32 UTC 版)
数学において、始代数 (しだいすう、英: initial algebra) とは、与えられた自己関手 F に対する F-代数の圏における始対象を言う。始代数の持つ始対象性 (initiality) は帰納や再帰といったものの一般の枠組みを与える。
- ^ a b Initiality and finality from CLiki
- ^ Induction and Co-induction from CLiki
- ^ a b Philip Wadler: Recursive types for free! University of Glasgow, July 1998. Draft.
- ^ Robin Cockett: Charitable Thoughts (ps and ps.gz)
- 1 始代数とは
- 2 始代数の概要
- 3 計算機科学での利用
- 4 関連項目
- 始代数のページへのリンク