Related papers: On satellites in semi-abelian categories: Homology…

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…

It is well known that Barr and Beck's definition of comonadic homology makes sense also with a functor of coefficients taking values in a semi-abelian category instead of an abelian one. The question arises whether such a homology theory…

We develop a homology theory for directed spaces, based on the semi-abelian category of (non-unital) associative algebras. The major ingredient is a simplicial algebra constructed from convolution algebras of certain trace categories of a…

Basing ourselves on Janelidze and Kelly's general notion of central extension, we study universal central extensions in the context of semi-abelian categories. We consider a new fundamental condition on composition of central extensions and…

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 abelian lattice gauge theory defined on a simplicial complex with arbitrary topology. The use of dual objects allows one to reformulate the theory in terms of new dynamical variables; however, we avoid the use of the dual lattice…

We study Quillen's model category structure for homotopy of simplicial objects in the context of Janelidze, Marki and Tholen's semi-abelian categories. This model structure exists as soon as the base category A is regular Mal'tsev and has…

The collection of open sets of a topological space forms a Heyting algebra, which leads to the idea of a Heyting algebra as a generalized topological space. In fact, a sober topological space may be reconstructed from its locale of open…

For any additive functor from modules (or, more generally, from an abelian category with enough projectives or injectives), we construct long sequences tying up together the derived functors, the satellites, and the stabilizations of the…

In this paper, we introduce and investigate \emph{bisemialgebras}and\emph{\ Hopf semialgebras} over commutative semirings. We generalize to the semialgebraic context several results on bialgebras and Hopf algebras over rings including the…

We introduce the non-abelian tensor product of Lie superalgebras, study some of its properties including nilpotency, solvability and Engel, and we use it to describe the universal central extensions of Lie superalgebras. We present the…

A semi-localization of a category is a full reflective subcategory with the property that the reflector is semi-left-exact. In this article we first determine an abstract characterization of the categories which are semi-localizations of an…

We generalize the definition of satellites with respect to presheaves (and copresheaves) with trace in the sense of Inassaridze; a presheaf with trace is replaced by a graph with a pair of diagrams defined on it. We show that the right…

In this paper, we introduce and investigate \emph{semicorings} over associative semirings and their categories of \emph{semicomodules.} Our results generalize old and recent results on corings over rings and their categories of comodules.…

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…

Pursuing a generalization of group symmetries of modular categories to category symmetries in topological phases of matter, we study linear Hopf monads. The main goal is a generalization of extension and gauging group symmetries to category…

This paper continues the research of the author on the homology of cubical and semi-cubical sets with coefficients in systems of objects. The main result is the theorem that the homology of cubical sets with coefficients in contravariant…

The existence of Hopf fibrations S^{2N+1}/S^1 = CP^N and S^{4K+3}/S^3 = HP^K allows us to treat the Hilbert space of generic finite-dimensional quantum systems as the total bundle space with respectively $U(1)$ and $SU(2)$ fibers and…

The aim of this paper is to prove the statement in the title. As a by-product, we obtain new globalization results in cases never considered before, such as partial corepresentations of Hopf algebras. Moreover, we show that for partial…

We describe the projectives in the category of functors from a graded poset to abelian groups. Based on this description we define a related condition, pseudo-projectivity, and we prove that this condition is enough for the vanishing of the…