setを集合の圏、1をsetにおける終対象(すなわち任意の一元集合)、+はsetにおける(圏論的)直和(すなわち非交和)とするとき、setの自己函手 "f": "x" → 1+ "x" を考えると、(n,[0,succ])は一つの "f"-代数を与える。