How large are left exact functors?
How to construct a Hovey triple from two cotorsion pairs
Let be an abelian category, or more generally a weakly idempotent complete exact category, and suppose we have two complete hereditary cotorsion pairs and in satisfying and . We show how to construct a (necessarily unique) abelian model structure on with (resp. ) as the class of cofibrant (resp. trivially cofibrant) objects, and (resp. ) as the class of fibrant (resp. trivially fibrant) objects.
How to make many-sorted algebras one-sorted
HSP subcategories of Eilenberg-Moore algebras.
Hull operators on a category of spaces of continuous functions on Hausdorff spaces
Hu's Primal Algebra Theorem revisited
It is shown how Lawvere's one-to-one translation between Birkhoff's description of varieties and the categorical one (see [6]) turns Hu's theorem on varieties generated by a primal algebra (see [4], [5]) into a simple reformulation of the classical representation theorem of finite Boolean algebras as powerset algebras.
Hyperoctahedral species.
I subquozienti nelle categorie abeliane
Idempotent completion of pretriangulated categories
A pretriangulated category is an additive category with left and right triangulations such that these two triangulations are compatible. In this paper, we first show that the idempotent completion of a left triangulated category admits a unique structure of left triangulated category and dually this is true for a right triangulated category. We then prove that the idempotent completion of a pretriangulated category has a natural structure of pretriangulated category. As an application, we show that...
Idempotent Triples and Completion.
Images directes cohomologiques dans les catégories de modèles
Ces notes sont consacrées à la construction des limites homotopiques, et plus généralement, des images directes cohomologiques dans une catégorie de modèles arbitraire admettant des petites limites projectives. En outre, la théorie des dérivateurs de Grothendieck est introduite, à la fois en tant que motivation pour l’étude de telles structures, et en tant qu’outil de démonstration.
Images directes en cohomologie cohérente
Images in categories as reflections
Imbedding compact semigroups in compact inverse semigroups.
Implicit operations on the categories of universal algebras.
In which categories are first-order axiomatizable hulls characterizable by ultraproducts ?
Indexed categories for program development
Ind-Sheaves, distributions, and microlocalization
Induced Functors on Categories of Algebras.
Induced morphisms for Lambek invariants of commutative squares.