F代数
数学の特に圏論における"F"-代数（エフだいすう、）は、（自己）関手 "F" に従って定義される構造の一つで、リストや木構造のようなプログラミングで使われるデータ構造を表現するのに利用できる。 "F"-始代数は、数学的帰納法の原理を捉えたものと考えることができる。文脈上紛れの虞が無い場合は、函手 "F" を明示するための接頭辞 "F"- を省略して単に代数ということがある。
"F"-代数は"F"-余代数の双対である。