Covollständigkeit vollständiger Kategorien.
In this paper the concepts of mixed cartesian square and quasi-cocartesian square, already known in the category of groups, are adapted to the category of Lie algebras. These concepts can be used in the study of the obstructions of Lie algebra extensions in the same way that Wu has studied the obstructions of group extensions.
In this note we show that the main results of the paper [PR] can be obtained as consequences of more general results concerning categories whose morphisms can be uniquely presented as compositions of morphisms of their two subcategories with the same objects. First we will prove these general results and then we will apply it to the case of finite noncommutative sets.
We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopěnka’s principle. We prove that the necessary large-cardinal hypotheses depend on the complexity of the formulas defining the given classes, in the sense of the Lévy hierarchy. For example, the statement that, for a class of morphisms in a locally presentable category of structures, the orthogonal class of objects is a small-orthogonality...
We study finiteness properties, especially the noetherian property, the Krull dimension and a variation of finite presentation, in categories of polynomial functors (notion introduced by Djament and Vespa) from a small symmetric monoidal category whose unit is an initial object to an abelian category. We prove in particular that the category of polynomial functors from the category of free abelian groups ℤⁿ with split monomorphisms to abelian groups is "almost" locally noetherian. We also give an...