始代数
数学において、始代数 (しだいすう、) とは、与えられた自己関手 "F" に対する"F"-代数の圏における始対象を言う。始代数の持つ始対象性 ("initiality") は帰納や再帰といったものの一般の枠組みを与える。

始代数の圏論的双対概念として、"F"-余代数の圏の終対象は終余代数（しゅうよだいすう、）と呼ばれる。終余代数の終対象性 ("finality") は余帰納や余再帰といった概念の一般な枠組みを与える。
Q395
数学
Concept
Q864475
自己関手
Concept
Q1386213
"F"-代数
Concept
Q719395
圏
Concept
Q529752
始対象
Concept
Q178377
帰納
Concept
Q264164
再帰
Concept
Q2361385
圏論的双対
Concept
Q3062935
"F"-余代数
UNK
Q529752
終対象
Concept
None
余帰納
UNK
None
余再帰
UNK
Q6034125
始代数
Concept
Q6034125
始代数
Concept
Q6034125
始代数
Concept
subclass of
subclass of
subclass of