Related papers: Homotopic morphisms and diagram theorems in extria…

Let $(\mathcal{C},\mathbb{E},\mathfrak{s})$ be an extriangulated category. Given a composition of two commutative squares in $\mathcal{C}$, if two commutative squares are homotopy cartesian, then their composition is also a homotopy…

We develop a localisation theory for certain categories, yielding a 3-arrow calculus: Every morphism in the localisation is represented by a diagram of length 3, and two such diagrams represent the same morphism if and only if they can be…

Extriangulated categories axiomatize extension-closed subcategories of triangulated categories and generalise both exact categories and triangulated categories. This survey article presents three applications of extriangulated categories to…

We give a characterisation of the extriangulated categories which admit the structure of a triangulated category. We show that these are the extriangulated categories where for every object $X$ in the extriangulated category, the morphism…

We give a simultaneous generalization of exact categories and triangulated categories, which is suitable for considering cotorsion pairs, and which we call extriangulated categories. Extension-closed, full subcategories of triangulated…

Given a good homology theory E and a topological space X, the E-homology of X is not just an E_{*}-module but also a comodule over the Hopf algebroid (E_{*}, E_{*}E). We establish a framework for studying the homological algebra of…

Extriangulated categories axiomatize extension-closed subcategories of triangulated categories. We show that the homotopy category of an exact quasi-category can be equipped with a natural extriangulated structure.

In these notes we develop some basic theory of idempotents in monoidal categories. We introduce and study the notion of a pair of complementary idempotents in a triangulated monoidal category, as well as more general idempotent…

The extriangulated category is a simultaneous generalization of exact categories and triangulated categories. H. Nakaoka and Y. Palu have proved that the homotopy category of an admissible model structure on a weakly idempotent complete…

For each recollement of triangulated categories, there is an epivalence between the middle category and the comma category associated to a triangle functor from the category on the right to the category on the left. For a morphic…

We show that the notions of homotopy epimorphism and homological epimorphism in the category of differential graded algebras are equivalent. As an application we obtain a characterization of acyclic maps of topological spaces in terms of…

Twisted diagrams are "diagrams" with components in different categories. Structure maps are defined using auxiliary data which consists of functors relating the various categories to each other. Prime examples of the construction are…

The most commonly known triangulated categories arise from chain complexes in an abelian category by passing to chain homotopy classes or inverting quasi-isomorphisms. Such examples are called `algebraic' because they originate from abelian…

We consider constrained variants of graph homomorphisms such as embeddings, monomorphisms, full homomorphisms, surjective homomorpshims, and locally constrained homomorphisms. We also introduce a new variation on this theme which derives…

For a given extension $A \subset E$ of associative algebras we describe and classify up to an isomorphism all $A$-complements of $E$, i.e. all subalgebras $X$ of $E$ such that $E = A + X$ and $A \cap X = \{0\}$. Let $X$ be a given…

In this paper we develop homotopy theoretical methods for studying diagrams. In particular we explain how to construct homotopy colimits and limits in an arbitrary model category. The key concept we introduce is that of a model…

A homotope, or a mutation, of a $k$-algebra is a new algebra with the same underlying space, but with the multiplication law dependent on the multiplication law of the original algebra. In this paper, we show that a generic…

Homomorphisms are defined between the multiplicative group of an etale algebra of dimension 4 and the multiplicative group of a canonically associated etale algebra of degree 6 over an arbitrary field. These homomorphisms are used to relate…

This is the first paper in a series. We develop a general deformation theory of objects in homotopy and derived categories of DG categories. Namely, for a DG module $E$ over a DG category we define four deformation functors $\Def ^{\h}(E)$,…

One of the prime motivation for topology was Homotopy theory, which captures the general idea of a continuous transformation between two entities, which may be spaces or maps. In later decades, an algebraic formulation of topology was…