Higher-dimensional categories with finite derivation type.
Homotopy theory induced by cones.
Homotopy-theoretic aspects of 2-monads.
Hopf-Galois extensions for monoidal Hom-Hopf algebras
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.
How algebraic is algebra?
How large are left exact functors?
How to make many-sorted algebras one-sorted
HSP subcategories of Eilenberg-Moore algebras.
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.