Total categories with generators (Q915848)

The authors characterize total categories with generators by solidness over \underbar{Set}\({}^ n\), where n is a cardinal, consider several concepts of co-wellpoweredness, and investigate well-presentable categories in connection with Vopěnka's principle. They present the following results: Part I. In a weakly compact universe for a category \b{A} with connected colimits and a generator the following are equivalent: (i) \b{A} is weakly co-wellpowered; (ii) \b{A} is co-wellpowered with respect to strong epimorphisms; (iii) \b{A} is co-wellpowered with respect to extremal epimorphisms. Since in the case that the universe is not weakly compact there exists a weakly co-wellpowered category with connected colimits and a generator which is not co-wellpowered with respect to strong epimorphisms, the following facts are equivalent: (iv) The universe is weakly compact; (v) In categories with a generator and connected colimits, weak co-wellpoweredness implies co-wellpoweredness with respect to strong epimorphisms. Part II. Every faithful adjoint defined on a total category is solid. For any category totality and existence of a generator is equivalent to the solidness over \underbar{Set}\({}^ n\). Each solid functor U: \b{A}\(\to \underline X\) induces a monad \(\tau\) on \b{X} and the functor \b{A}\(\to \underline X^{\tau}\) is solid too. There exist a total category without generator and a solid functor U: \b{A}\(\to \underline{Gra}\) whose monadic functor is not solid. Part III. A total category with a regular generator is characterized by cocompleteness together with a regular generator, by the equivalence to a full reflective subcategory of a monadic category over \underbar{Set}\({}^ n\), or by admittance of a solid functor into \underbar{Set}\({}^ n\) that reflects regular epimorphisms. The fact that a category is well-presentable is equivalent to one of six conditions. Under the assumption that Vopěnka's principle is fulfilled the following conditions on a category \b{A} are equivalent: (vi) \b{A} is well-presentable; (vii) \b{A} is locally presentable; (viii) \b{A} is cocomplete and has a colimit-dense generator.