代数接收项目位置的形态
在变换器功能中需要给定项目的位置（索引或路径）时...
如何证明教堂的编码，永远如此 F r-> r-> r，给出函子F的初始代数？
众所周知的自然数的Church编码可以推广为使用任意仿...