44 citations · 366 across the 37 of their papers we have counts for
39 papers
Observations on the variety of equationally linear Heyting semilattices
Xabier García-Martínez, James R. A. Gray, Michael A. Hoefnagel +2
In previous work, we analysed a number of categorical properties, of interest in the context of Janelidze-Márki-Tholen semi-abelian categories, for the variety of…
A two-categorical Snake Lemma
Elena Caviglia, Luca Mesiti, Tim Van der Linden
We prove a Snake Lemma for 2-categories. Working in a 2-category with a strong bizero object, we develop 2-kernels and 2-cokernels, 2-monomorphisms and 2-epimorphisms as fully fait…
Categorical-algebraic aspects of Heyting semilattices
Xabier García-Martínez, James R. A. Gray, Michael A. Hoefnagel +2
This article gives an overview of some key categorical-algebraic properties of the variety of Heyting semilattices, with the aim of correcting a misconception in the literature. We…
Non-additive derived functors via chain resolutions
Maxime Culot, Fara Renaud, Tim Van der Linden
Let be a functor from a category to a homological (Borceux-Bourn) or semi-abelian (Janelidze-Márki-Tholen) category $\mathcal{E}…
A Homological View of Categorical Algebra
George Peschke, Tim Van der Linden
We provide a foundation for working with homological and homotopical methods in categorical algebra. This involves two mutually complementary components, namely (a) the strategic s…
Twisted Commutators and Internal Crossed Modules
Bo Shan Deval, Tim Van der Linden
We introduce a notion of relative commutator -- an important special case being commutators twisted by an action -- as a straightforward modification of the definition of the Higgi…
A universal Kaluzhnin--Krasner embedding theorem
Bo Shan Deval, Xabier García-Martínez, Tim Van der Linden
Given two groups and , the Kaluzhnin--Krasner universal embedding theorem states that the wreath product acts as a universal receptacle for extensions from to $…
Schur- and Baer-type theorems for Lie and Leibniz algebras
Guram Donadze, Tim Van der Linden
The aim of this article is to obtain variations on the classical theorems of Schur and Baer on finiteness of commutator subgroups, valid in the contexts of Lie algebras and Leibniz…
Weak representability of actions of non-associative algebras
Jose Brox, Xabier García-Martínez, Manuel Mancini +2
We study the categorical-algebraic condition that internal actions are weakly representable (WRA) in the context of varieties of (non-associative) algebras over a field. Our first…
Homological lemmas for (non-abelian) group-like structures by diagram chasing in a self-dual context
Kishan Kumar Dayaram, Amartya Goswami, Zurab Janelidze +2
Through abelian categories, homological lemmas for modules admit a self-dual treatment, where half of the proof of a lemma is sufficient to prove the full lemma. In this paper, we…
A symmetric approach to higher coverings in categorical Galois theory
Fara Renaud, Tim Van der Linden
In the context of a tower of (strongly Birkhoff) Galois structures in the sense of categorical Galois theory, we show that the concept of a higher covering admits a characterisatio…
Associativity and the cosmash product in operadic varieties of algebras
Ülo Reimaa, Tim Van der Linden, Corentin Vienne
In this article, we characterise the operadic variety of commutative associative algebras over a field via a (categorical) condition: the associativity of the so-called cosmash pro…
Algebraic logoi
D. Bourn, A. S. Cigoli, J. R. A. Gray +1
We introduce normal cores, as well as the more general action cores, in the context of a semi-abelian category, and further generalise those to split extension cores in the context…
Algebras with representable representations
Xabier García-Martínez, Matsvei Tsishyn, Tim Van der Linden +1
Just like group actions are represented by group automorphisms, Lie algebra actions are represented by derivations: up to isomorphism, a split extension of a Lie algebra by a L…
A characterisation of Lie algebras via algebraic exponentiation
Xabier García-Martínez, Tim Van der Linden
In this article we describe varieties of Lie algebras via algebraic exponentiation, a concept introduced by Gray in his Ph.D. thesis. For an infinite field of characte…
A characterisation of Lie algebras amongst anti-commutative algebras
Xabier García-Martínez, Tim Van der Linden
Let be an infinite field. We prove that if a variety of anti-commutative -algebras - not necessarily associative, where is an identity - is locally…
A note on split extensions of bialgebras
Xabier García-Martínez, Tim Van der Linden
We prove a universal characterization of Hopf algebras among cocommutative bialgebras over a field: a cocommutative bialgebra is a Hopf algebra precisely when every split extension…
Two characterisations of groups amongst monoids
Andrea Montoli, Diana Rodelo, Tim Van der Linden
The aim of this paper is to solve a problem proposed by Dominique Bourn: to provide a categorical-algebraic characterisation of groups amongst monoids and of rings amongst semiring…
What is an ideal a zero-class of?
N. Martins-Ferreira, A. Montoli, A. Ursini +1
We characterise, in pointed regular categories, the ideals as the zero-classes of surjective relations. Moreover, we study a variation of the "Smith is Huq" condition: two surjecti…
A criterion for reflectiveness of normal extensions
Andrea Montoli, Diana Rodelo, Tim Van der Linden
We give a new sufficient condition for the normal extensions in an admissible Galois structure to be reflective. We then show that this condition is indeed fulfilled when X is the…
Do -Lie algebras have universal enveloping algebras
Xabier Garcia-Martinez, Rustam Turdibaev, Tim van der Linden
The aim of this paper is to investigate in which sense, for , -Lie algebras admit universal enveloping algebras. There have been some attempts at a construction (see [1…
The Yoneda isomorphism commutes with homology
George Peschke, Tim Van der Linden
We show that, for a right exact functor from an abelian category to abelian groups, Yoneda's isomorphism commutes with homology and, hence, with functor derivation. Then we extend…
Higher central extensions and cohomology
Diana Rodelo, Tim Van der Linden
We establish a Galois-theoretic interpretation of cohomology in semi-abelian categories: cohomology with trivial coefficients classifies central extensions, also in arbitrarily hig…
Algebraically coherent categories
Alan S. Cigoli, James R. A. Gray, Tim Van der Linden
We call a finitely complete category algebraically coherent when the change-of-base functors of its fibration of points are coherent, which means that they preserve finite limits a…