Liberal理论态射的一些性质

该文构作了一个ｌｉｂｅｒａｌ理论范畴Ｔｈｌ，讨论了ｌｉｂｅｒａｌ理论态射的一些性质．得到了Ｐｅｒｓｉｓｔｅｎｔ函子的一个刻划定理，同时也得到了Ｆｆｒｅｅ，Ｆｇｅｎｅｒａｔｅｄ。