Related papers: Groups up to congruence relation and from categori…
We study conditions under which subdirect products of various types of algebraic structures are finitely generated or finitely presented. In the case of two factors, we prove general results for arbitrary congruence permutable varieties,…
We show that in the category of groups, every singly-generated class which is closed under isomorphisms, direct limits and extensions is also singly-generated under isomorphisms and direct limits, and in particular is co-reflective. We also…
The aim of the article is to study the extension theory of gyrogroups under certain conditions. Consequently, we see that there is an equivalence between the category GEXT of group-gyro extensions and the category GFAC of group-gyro factor…
A coherent presentation of an n-category is a presentation by generators, relations and relations among relations. Confluent and terminating rewriting systems generate coherent presentations, whose relations among relations are defined by…
We discuss nonabelian bundle gerbes and their differential geometry using simplicial methods. Associated to any crossed module there is a simplicial group NC, the nerve of the 1-category defined by the crossed module and its geometric…
The equivariant version of semiprojectivity was recently introduced by the first author. We study properties of this notion, in particular its relation to ordinary semiprojectivity of the crossed product and of the algebra itself. We show…
Let G be a unipotent algebraic group over an algebraically closed field k of characteristic p > 0 and let l be a prime different from p. Let e be a minimal idempotent in D_G(G), the braided monoidal category of G-equivariant (under…
We introduce the notion of groupoid pre-equivalences and prove that they give rise to groupoid equivalences by taking certain quotients. Then, given an equivalence of Fell bundles $\mathscr{B}$ and $\mathscr{C}$ and another equivalence…
In this work we study the notion of Whitehead sequence in the category of crossed modules and actions of crossed modules. As expected, Whitehead sequences in that context are the same as crossed squares. We investigate under which…
In this work, it is shown that the category XMod/P of crossed modules over fixed group P is an exact category and the complete proof of the embedding theorem of XMod/P into a set valued functor category is given.
We classify localising subcategories of the stable module category of a finite group that are closed under tensor product with simple (or, equivalently all) modules. One application is a proof of the telescope conjecture in this context.…
We introduce the notion of an induced 2-crossed module, which extends the notion of an induced crossed module (Brown and Higgins).
We extend the notion of the nerve of a category for a small class of crossed simplicial groups, explicitly describing them using generators and relations. We do this by first considering a generalised bar construction of a group before…
We define the full and reduced non-self-adjoint operator algebras associated with \'etale categories and restriction semigroups, answering a question posed by Kudryavtseva and Lawson in \cite{lawson}. Moreover, we define the semicrossed…
The main object of this paper is the minus class groups associated to CM-fields as Galois modules. In a previous article of the authors, we introduced a notion of equivalence for modules and determined the equivalence classes of the minus…
Let $R$ be a commutative ring. A full additive subcategory $\C$ of $R$-modules is triangulated if whenever two terms of a short exact sequence belong to $\C$, then so does the third term. In this note we give a classification of…
In this article we introduce the notion of cubical $(\omega,p)$-categories, for $p \in \mathbb N \cup \{\omega\}$. We show that the equivalence between globular and groupoid $\omega$-categories proven by Al-Agl, Brown and Steiner induces an…
We investigate what would be a correct definition of categorical completeness for C*-categories and propose several variants of such a definition that make the category of Hilbert modules over a C*-algebra a free (co)completion. We extend…
From a bimodule $M$ over an exact category $C$, we define an exact category $C\ltimes M$ with a projection down to $C$. This construction classifies certain split square zero extensions of exact categories. We show that the trace map…
Derived actions in the category of groups with action on itself $\mathbf{Gr}^{\bullet}$ are defined and described. This category plays a crucial role in the solution of Loday's two problems stated in the literature. A full subcategory of…