Related papers: Semi-Cartesian squares and the Snake Lemma

We obtain a generalization of the Two-Square Lemma proved for abelian categories by Fay, Hardie, and Hilton in 1989 and (in a special case) for preabelian categories by Generalov in 1994. We also prove the equivalence up to sign of two…

We generalize the notion of an exact category and introduce weakly exact categories. A proof of the snake lemma in this general setting is given. Some applications are given to illustrate how one can do homological algebra in a weakly exact…

Categorical aspects of the theory of modules over trusses were studied in recent years. The snake lemma and the nine lemma in categories of modules over trusses are formulated in this paper.

We prove a stronger version of the octahedral axiom in a pre-triangulated category. The proof uses a new lemma about exact sequences in pointed additive categories which is based on a weak converse of the snake lemma.

The Kernel Complex Lemma states that given commutative diagram with exact rows and exact columns which covers the region under a $\Gamma$-shape, then the kernel sequence on the top and the kernel sequence at the left have in each position…

Let $\mathscr{A}$ be an extension closed proper abelian subcategory of a triangulated category $\mathscr{T}$, with no negative 1 and 2 extensions. From this, two functors from $\Sigma\mathscr{A}\ast\mathscr{A}$ to $\mathscr{A}$ can be…

Semi-abelian and finitely cocomplete homological categories are characterized in terms of four resp. three simple axioms, in terms of the basic categorical notions introduced in the first few chapters of MacLane's classical book. As an…

It is well known that the classical diagram lemmas of homological algebra for abelian groups can be generalized to non-abelian group-like structures, such as groups, rings, algebras, loops, etc. In this paper we establish such a…

Riemannian and pseudo-Riemannian symmetric spaces with semisimple transvection group are known and classified for a long time. Contrary to that the description of pseudo-Riemannian symmetric spaces with non-semisimple transvection group is…

We introduce several commutative rings, the snake rings, that have strong connections to cluster algebras. The elements of these rings are residue classes of unions of certain labeled graphs that were used to construct canonical bases in…

Let $\mathscr{C}$ be the category of finite dimensional modules over the quantum affine algebra $U_q(\widehat{\mathfrak{g}})$ of a simple complex Lie algebra ${\mathfrak{g}}$. Let $\mathscr{C}^-$ be the subcategory introduced by Hernandez…

We introduce the new concept of cartesian module over a pseudofunctor $R$ from a small category to the category of small preadditive categories. Already the case when $R$ is a (strict) functor taking values in the category of commutative…

We present a new semidefinite Farkas lemma involving a side constraint on the rank. This lemma is then used to present a new proof of a recent characterization, by Connelly and Gortler, of dimensional rigidity of bar frameworks.

We develop a diagrammatic proof system for a fragment of structural semantics inspired by the Greimas semiotic square, using spider diagrams as the underlying formalism. The basic terms are represented as diagrammatic configurations, and…

In the first part of the paper, we establish an homotopical version of the snail lemma (which is a generalization of the classical snake lemma). In the second part, we introduce the category $\mathbf{Seq}(\mathcal A)$ of sequentiable…

We prove that four different ways of defining Cartesian fibrations and the Cartesian model structure are all Quillen equivalent: On marked simplicial sets, on bisimplicial spaces, on bisimplicial sets, on marked simplicial spaces. The main…

Let $A$ be an additively cancellative semialgebra over an additively cancellative semifield $K$ as defined in [9]. For a given partial action $\alpha$ of a group $G$ on an algebra, the associativity of partial skew group ring together with…

The theory of {\Gamma}-species is developed to allow species-theoretic study of quotient structures in a categorically rigorous fashion. This new approach is then applied to two graph-enumeration problems which were previously unsolved in…

Szemeredi's regularity lemma is an important tool in graph theory which has applications throughout combinatorics. In this paper we prove an analogue of Szemeredi's regularity lemma in the context of abelian groups and use it to derive some…

Two versions of the Ajtai-Szemer\'edi Theorem are considered in the Cartesian square of a finite non-Abelian group $G$. In case $G$ is sufficiently quasirandom, we obtain strong forms of both versions: if $E \subseteq G\times G$ is fairly…