F代数
Set を集合の圏、1 を Set における終対象(すなわち任意の一元集合)、+ は Set における(圏論的)直和(すなわち非交和)とするとき、Set の自己函手 F: X → 1 + X を考えると、(N, [0, succ]) は一つの F-代数を与える。ただし、N は自然数全体の成す集合、[0,succ] は二つの写像
の直和(つまり、x ∈ 1 + N が x ∈ 1 ならば写像 0 に x ∈ N ならば写像 succ に一致するような写像)である。