Related papers: Universal derived equivalences of posets

Let $\mathcal{C}$ be a triangulated category. We first introduce the notion of balanced pairs in $\mathcal{C}$, and then establish the bijective correspondence between balanced pairs and proper classes $\xi$ with enough $\xi$-projectives…

The notion of level posets is introduced. This class of infinite posets has the property that between every two adjacent ranks the same bipartite graph occurs. When the adjacency matrix is indecomposable, we determine the length of the…

We develop a cohomological approach to M\"obius inversion using derived functors in the enriched categorical setting. For a poset $P$ and a closed symmetric monoidal abelian category $\mathcal{C}$, we define M\"obius cohomology as the…

We introduce a new combinatorial invariant, which we call crosscut poset, that is finer than the crosscut complex. We exhibit many applications of the crosscut poset which include a generalization of Bj\"orner's crosscut theorem and two…

We use the notion of universal extension in a linear abelian category to study extensions of variations of mixed Hodge structure and convergent and overconvergent isocrystals. The results we obtain apply, for example, to prove the exactness…

Let A and B be abelian categories with enough projective and injective objects, and T : A-B a left exact additive functor. Then one has a comma category (B*T). It is shown that If T : A-B is X-exact, then (*X, X) is a (hereditary) cotorsion…

We prove a constructive existence theorem for abelian envelopes of non-abelian monoidal categories. This establishes a new tool for the construction of tensor categories. As an example we obtain new proofs for the existence of several…

It is known that in (regular) unital and in subtractive categories, internal abelian groups are simply behaved; e.g., they are the same as internal algebras $(A,s)$ satisfying $s(x,0)=x$ and $s(x,x)=0$, i.e., \emph{subtraction algebras}.…

In the context of infinity categories, we rethink the notion of derived functor in terms of correspondences. This is especially convenient for the description of a passage from an adjoint pair (F,G) of functors to a derived adjoint pair…

In here, I present a series of combinatorial equalities derived using a graph based approach. Different nodes in the graphs are visited following probabilistic dynamics of a moving dot. The results are presented in such a way that the…

We present some results from classical homological algebra using the language of cotorsion theories in abelian categories. The results are a couple of foundational facts about homological dimension, the Kunneth formula and the universal…

For a Serre subcategory $\mathscr L$ and a resolving subcategory $\mathscr A$ of an abelian category, we show that the derived equivalence $D^b(\overline{\mathscr A} \cap \mathscr L) \simeq D^b_{\mathscr L}(\mathscr A)$ holds under certain…

We provide a framework to triangulate subfactor categories of additive categories with additive endofunctors. It is proved that such a framework is sufficiently flexible to cover many instances in algebra and geometry where abelian, exact…

In an abelian category $\mathscr{A}$ with small ${\rm Ext}$ groups, we show that there exists a one-to-one correspondence between any two of the following: balanced pairs, subfunctors $\mathcal{F}$ of ${\rm Ext}^{1}_{\mathscr{A}}(-,-)$ such…

In 1986 Stanley associated to a poset the order polytope. The close interplay between its combinatorial and geometric properties makes the order polytope an object of tremendous interest. Double posets were introduced in 2011 by Malvenuto…

We introduce the notion of balanced pair of additive subcategories in an abelian category. We give sufficient conditions under which the balanced pair of subcategories gives rise to equivalent homotopy categories of complexes. As an…

We put cluster tilting in ageneral framework by showing that any quotient of a triangulated category modulo a tilting subcategory (that is, a maximal one-orthogonal subcategory) carries an abelian structure. These abelian quotients turn out…

It is well known that to give an oplax functor of bicategories $\mathbf{1}\to\mathscr{C}$ is to give a comonad in $\mathscr{C}$. Here we generalize this fact, replacing the terminal bicategory by any bicategory $\mathscr{A}$ for which the…

We give a category theoretic approach to several known equivalences from (classic) tilting theory and commutative algebra. Furthermore, we apply our main results to establish a duality theory for relative Cohen-Macaulay modules in the sense…

Derived equivalences and t-structures are closely related. We use realisation functors associated to t-structures in triangulated categories to establish a derived Morita theory for abelian categories with a projective generator or an…