始代数
数学において、始代数 (しだいすう、) とは、与えられた自己関手 "F" に対する"F"-代数の圏における始対象を言う。始代数の持つ始対象性 ("initiality") は帰納や再帰といったものの一般の枠組みを与える。
始代数の圏論的双対概念として、"F"-余代数の圏の終対象は終余代数（しゅうよだいすう、）と呼ばれる。終余代数の終対象性 ("finality") は余帰納や余再帰といった概念の一般な枠組みを与える。