Hopf diagrams and quantum invariants.
Hopf-Galois extensions for monoidal Hom-Hopf algebras are investigated. As the main result, Schneider's affineness theorem in the case of monoidal Hom-Hopf algebras is shown in terms of total integrals and Hopf-Galois extensions. In addition, we obtain an affineness criterion for relative Hom-Hopf modules which is associated with faithfully flat Hopf-Galois extensions of monoidal Hom-Hopf algebras.
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.
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.
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...
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.