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