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