Related papers: A description of the fundamental group in terms of…
We use Janelidze's Categorical Galois Theory to extend Brown and Ellis's higher Hopf formulae for homology of groups to arbitrary semi-abelian monadic categories. Given such a category A and a chosen Birkhoff subcategory B of A, thus we…
We study the notion of fundamental group in the framework of descent-exact homological categories. This setting is sufficiently wide to include several categories of "algebraic" nature such as the almost abelian categories, the semi-abelian…
We define the fundamental group of a Hopf algebra over a field. For this purpose we first consider gradings of Hopf algebras and Galois coverings. The latter are given by linear categories with new additional structure which we call Hopf…
Hopf algebroids are generalization of Hopf algebras over non-commutative base rings. It consists of a left- and a right-bialgebroid structure related by a map called the antipode. However, if the base ring of a Hopf algebroid is commutative…
The variety of skew braces contains several interesting subcategories as subvarieties, as for instance the varieties of radical rings, of groups and of abelian groups. In this article the methods of non-abelian homological algebra are…
The adjunction between coalgebras and Hopf algebras, first described by Takeuchi, allows one to prove that the semi-abelian category of cocommutative Hopf algebras has enough $\mathcal E$-projective objects with respect to the class…
We describe the Galois objects and biGalois groups of monomial nonsemisimple Hopf algebras. The main feature of our description is the use of modified versions of the second cohomology group of the grouplike elements. These computations…
The codomain category of a generalized homology theory is the category of modules over a ring. For an abelian category A, an A-valued (generalized) homology theory is defined by formally replacing the category of modules with the category…
Given a finitely presented group $G$, Hopf's formula expresses the second integral homology of $G$ in terms of generators and relators. We give an algorithm that exploits Hopf's formula to estimate $H_2(G;k)$, with coefficients in a finite…
The notion of a Hopf module over a Hopf (co)quasigroup is introduced and a version of the fundamental theorem for Hopf (co)quasigroups is proven.
The theory of abelian categories proved very useful, providing an axiomatic framework for homology and cohomology of modules over a ring and, in particular, of abelian groups. For many years, a similar categorical framework has been lacking…
Let $H$ be a semisimple Hopf algebras over an algebraically closed field $k$ of characteristic $0.$ We define Hopf algebraic analogues of commutators and their generalizations and show how they are related to $H',$ the Hopf algebraic…
In this note some recent developments in the study of homology in semi-abelian categories are briefly presented. In particular the role of protoadditive functors in the study of Hopf formulae for homology is explained.
We introduce the notion of Hopf algebroids, in which neither the total algebras nor the base algebras are required to be commutative. We give a class of Hopf algebroids associated to module algebras of the Drinfeld doubles of Hopf algebras…
We introduce group corings, and study functors between categories of comodules over group corings, and the relationship to graded modules over graded rings. Galois group corings are defined, and a Structure Theorem for the $G$-comodules…
We prove that extension groups in strict polynomial functor categories compute the rational cohomology of classical algebraic groups. This result was previously known only for general linear groups. We give several applications to the study…
Given a finite category T, we consider the functor category [T,A], where A can in particular be any quasi-abelian category. Examples of quasi-abelian categories are given by any abelian category but also by non-exact additive categories as…
We give a systematic description of the cyclic cohomology theory of Hopf algebroids in terms of its associated category of modules. Then we introduce a dual cyclic homology theory by applying cyclic duality to the underlying cocyclic…
The aim of section 1 is to define the homotopic functor to category of Abelian groups, connected with the special classes of bundles with fiber matrix algebra or projective space. The aim of section 2 is to define some generalization of the…
We introduce the concept of Hopf-Galois system, a reformulation of the notion of Galois extension of the base field for a Hopf algebra. The main feature of our definition is a generalization of the antipode of an ordinary Hopf algebra. The…