Liberal理论态射的一些性质

Some Properties of the Liberal Theory Morphisms

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

In this paper,a category Th l of liberal theory has been constructed,and some properties of the liberal theory morphisms have been discussed.We have got a characterization of a persistent functor,and obtained some results about F free,F generated and F prime models.