Pith. sign in

REVIEW 1 major objections 5 minor 141 references

Extended heart construction (I): The heart of $n$-cotorsion pairs on triangulated categories

T0 review · 1 major / 5 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper proves that the heart of every n-cotorsion pair on a triangulated category is an abelian n-truncated category, a higher analogue of abelianness unifying n-extended hearts of t-structures and cluster-tilting quotients.

desk verdict A solid, genuinely new framework paper: the heart of an n-cotorsion pair on an arbitrary triangulated category is shown to be an abelian n-truncated category, and the proof is long but coherent. read the letter →

arxiv 2608.03212 v1 pith:M43TCWDV submitted 2026-08-04 math.CT math.RT

Nao Mochizuki , Hiroyuki Nakaoka , Yasuaki Ogawa This is my paper · ORCID
classification math.CTmath.RT MSC 18G8018E1018E35
keywords triangulatedcategoryn-cotorsionpairabeliann-truncatedpretriangulatedextriangulatedn-extendedheartclustertiltingsubcategoryt-structure
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper introduces abelian $n$-truncated categories — a higher-dimensional analogue of abelian categories — and proves that every $n$-cotorsion pair on a triangulated category has a heart that is one. The heart is the ideal quotient $H/[W]$ of the intersection $H=T^{-}\cap T^{+}$, and the proof equips it with a pretriangulated structure (suspension $\Sigma$, loop $\Omega$, left and right triangles) and an extriangulated structure that are compatible and satisfy $\Sigma^n=\Omega^n=0$, with deflations exactly the $n$-epimorphisms and inflations exactly the $n$-monomorphisms. When $n=1$ this recovers the classical abelian heart of a cotorsion pair; as special cases it covers the $n$-extended heart of a $t$-structure and the ideal quotient by an $(n+1)$-cluster tilting subcategory, which previously were known to carry these structures only when the triangulated category is algebraic. The paper also realizes the heart as an extriangulated localization of a relative extriangulated structure on the ambient category. If right, this gives one common framework for the main higher abelian-like constructions in triangulated categories, with no algebraicity assumption.

What carries the argument

The heart $H/[W]$ is central: the ideal quotient of $H=T^{-}\cap T^{+}$ by morphisms factoring through $W=U\cap V$, where $T^{-}=U[-n]\ast\cdots\ast U$ and $T^{+}=V\ast\cdots\ast V[n]$. Around it sits the relative extriangulated structure $(\mathcal{T},E_N,s_N)$ from the extension-closed subcategory $N=\mathrm{add}(U\ast V)$, whose morphism class $S_N=R\circ L$ is exactly what the heart functor inverts. The suspension $\Sigma$ and loop $\Omega$ come from shift-like endofunctors $\langle 1\rangle$, $\langle -1\rangle$ on $T^{-}/[W]$, $T^{+}/[W]$, with $\Sigma\dashv\Omega$ and $\Sigma^n=\Omega^n=0$. Compatibility is carried by natural transformations $\$partial^{{-}}$:F\Rightarrow\mathrm{Hom}(\Ome

What would settle it

Work through a small explicit case: let $\mathcal{T}$ be the bounded derived category of a finite-dimensional algebra, take the $n$-cotorsion pair $(t^{\le -1},t^{\ge n})$ of its standard $t$-structure, and for a non-split extension $\delta$ in the $n$-extended heart compute $\Sigma(\partial^{-}(\delta))+\partial^{+}(\delta)\circ\varepsilon_Z$. A single $\delta$ with a nonzero value would refute Lemma 2.4.14 and with it the compatibility of the two structures; likewise, a $t$-deflation that is not an $n$-epimorphism would refute Theorem 2.4.15 directly. Checking the imported 2-out-of-3 propert

Watch

Extended reading notes

Core claim

The central claim is Theorem 2.4.15: for any $n$-cotorsion pair $(U,V)$ on a triangulated category $\mathcal{T}$, the heart $H/[W]$ — the ideal quotient of $H=T^{-}\cap T^{+}$ by the ideal of morphisms factoring through $W=U\cap V$ — carries a pretriangulated structure $(\Sigma,\Omega,\triangleright,\triangleleft)$ and an extriangulated structure $(F,t)$ that together make it an abelian $n$-truncated category. The heart behaves like an abelian category truncated at level $n$: $\Sigma^n=\Omega^n=0$; every $t$-triangle extends to a right triangle ending in $\Sigma$ and a left triangle starting in $\Omega$; and deflations and inflations are precisely the $n$-epimorphisms and $n$-monomorphisms.

Load-bearing premise

The construction relies on imported facts about the relative extriangulated structure $(\mathcal{T},E_N,s_N)$ on $N=\mathrm{add}(U\ast V)$: the descriptions of the morphism classes $L$, $R$, $S_N$, their 2-out-of-3 property, saturation (Proposition 2.2.5), and the localization theorem used in the final section. If any of these fails for arbitrary triangulated categories, the heart's extriangulated structure and its localization realization lose their foundation.

Editorial extensions

If this is right

  • The $n$-extended heart $t^{\ge 0}\cap t^{\le n-1}$ of any $t$-structure is an abelian $n$-truncated category, with no algebraicity assumption on the ambient triangulated category.
  • The ideal quotient $\mathcal{T}/[C]$ by any $(n+1)$-cluster tilting subcategory $C$ is abelian $n$-truncated and has enough projectives, the projectives being exactly $\mathrm{add}(C[-n])$ (Corollary 2.4.18).
  • Homotopy categories of small abelian $(n,1)$-categories and of abelian $n$-truncated DG-categories are equivalent to abelian $n$-truncated categories (Corollary 2.4.16).
  • The heart $H/[W]$ is the extriangulated localization of $(\mathcal{T},E_N,s_N)$ with respect to $S_N$, so the heart can be computed by localizing the ambient category (Theorem 2.5.7).
  • Every morphism in the heart factors as an $n$-epimorphism followed by a 1-monomorphism, and dually as a 1-epimorphism followed by an $n$-monomorphism, unique up to unique isomorphism (Corollary 1.2.16).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the theorem is right, the abelian $n$-truncated axioms could double as a recognition principle: a category with compatible pretriangulated and extriangulated structures and $\Sigma^n=0$ might be realized as the heart of some $n$-cotorsion pair, turning the construction into a correspondence.
  • Because the proof avoids DG-enhancements, a natural test is to build the extended heart in a known non-algebraic triangulated category and verify the deflation/n-epimorphism equality by hand; success would push the known algebraic examples into genuinely new territory.
  • The $n$-hierarchy interpolates between abelian categories ($n=1$) and triangulated categories (where $\Sigma$ is an autoequivalence), suggesting a possible bridge to other higher-dimensional abelianness notions studied in higher homological algebra.
  • The localization description suggests the heart functor may compose with other localizations or quotients, so the framework could support a calculus of hearts — building longer ladders of categories from a single triangulated category by iterating the construction.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 5 minor

Summary. The paper introduces abelian n-truncated categories as a common framework for higher analogues of abelian hearts, and constructs the heart of an arbitrary n-cotorsion pair (U,V) on a triangulated category T. The main theorem (Theorem 2.4.15) asserts that the heart H/[W] carries a pretriangulated structure (Σ,Ω,▷,◁) and an extriangulated structure (F,t) which together make it an abelian n-truncated category. The construction is shown to specialize to the n=1 heart of a cotorsion pair, to n-extended hearts of t-structures, and to quotient categories by (n+1)-cluster tilting subcategories. In the final section, the heart is realized as an extriangulated localization of a relative extriangulated structure on T. The proof is long and layered: Section 1 develops the abstract compatiblity framework, Section 2.1 defines the heart and its reflection/coreflection functors, Section 2.2 constructs the induced extriangulated structure using relative theory from [Oga24], Section 2.3 constructs the pretriangulated structure, and Section 2.4 proves compatibility and the main theorem.

Significance. If the main theorem is correct, it provides a genuinely unifying framework for higher hearts, removing the algebraicity assumption that was needed in earlier constructions of pretriangulated/extriangulated structures on n-extended hearts and cluster-tilting quotients. The paper also introduces a new categorical notion, abelian n-truncated category, with plausible connections to abelian (n,1)-categories and abelian n-truncated DG-categories (Corollary 2.4.16). The proof is remarkably detailed: each step is supported by explicit lemmas, diagram chases, and intermediate propositions (e.g., Proposition 2.3.23, Proposition 2.4.9, Lemma 2.4.14), and the construction is not tailored to the conclusion. The localization result in Section 2.5 is a further strong point, as it gives a conceptual description of the heart as an extriangulated quotient.

major comments (1)
  1. [Section 2.2, Proposition 2.2.5, Fact 2.5.2] The central identification S_N = { f | H(f) is an isomorphism } is load-bearing: it is used in Proposition 2.2.5, in Corollary 2.5.1, and in Theorem 2.5.7. Its proof relies on the description of L,R,S_N in Definition 2.2.2, on the 2-out-of-3 property for S_N, and on saturation, all imported from [Oga24] and [NOS22]. The manuscript should state precisely which results in [Oga24] are being used and verify that the subcategory N = add(U*V) satisfies their hypotheses for an arbitrary triangulated category. In particular, it should be explicit whether N is only required to be extension-closed or whether additional closure properties (e.g., under shifts or thick closure in the relative extriangulated sense) are needed, and where those hypotheses are checked. I do not claim the cited results fail; this is a request for transparency in a step on which the main theorem depends.
minor comments (5)
  1. [Lemma 2.3.9] The notation l_{X⟨1⟩} in the statement is confusing: as written it suggests the reflection morphism of the object X⟨1⟩, but the proof uses the morphism l_X⟨1⟩ : X⟨1⟩ → X^+⟨1⟩. Please clarify the notation, for instance by writing (l_X)⟨1⟩ or l_X⟨1⟩.
  2. [Definition 2.2.2(2)] In the definition of the class R, the condition 'h∈[N]' for a morphism h: Z → N[1] is potentially ambiguous. Since h has codomain N[1], it should be clarified that this means h factors through an object of N (as is used later, e.g., in Lemma 2.4.1). A short remark would avoid confusion.
  3. [Proposition 2.3.10] The diagram (2.17) is hard to read in the typeset version; the arrows involving ( )^+ and ⟨1⟩ are not visually aligned. Please redraw it or add a verbal description of the natural isomorphism.
  4. [Proposition 2.4.9 / Lemma 2.4.8] The proof of the equivalence (3)⇒(1) in Proposition 2.4.9 is quite terse at the point where Lemma 2.4.8 is invoked. In particular, the step 'By the dual of [Nee01, Proposition 1.4.6]' in Lemma 2.4.8 and the subsequent application of Lemma 2.2.6(2) would benefit from a few more details or a reference to the exact statement being used.
  5. [General] There are a few minor typographical issues, such as inconsistent use of 'H/[W]' versus 'H/[W]' in displayed equations, and the phrase 'Since U⊂T is extension-closed' in Lemma 2.1.6(2) could be explicitly justified by the cotorsion-pair condition (or by Proposition 2.1.11). These are cosmetic and do not affect the mathematics.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the heart theorem is proved by explicit construction; self-citations are not used to assume the conclusion.

full rationale

The central derivation chain is self-contained in the required sense: the heart H/[W] is defined as an ideal quotient (Definition 2.1.2), the pretriangulated structure is explicitly constructed (Definitions 2.3.1, 2.3.5, 2.3.7, 2.3.11), the extriangulated structure is induced from the relative structure (Corollary 2.2.8), and compatibility plus the deflation/inflation characterization are proved (Propositions 2.4.4, 2.4.9, Lemma 2.4.14) rather than being built into the definition of 'abelian n-truncated category'. The paper does import [Oga24] for the relative theory E_N, L, R, S_N and their 2-out-of-3/saturation properties, and [NOS22] for extriangulated localization; these are self-citations by members of the team and are not re-verified in the text. However, they are fixed external theorems with stated hypotheses, not restatements of the target heart theorem, and no displayed equation reduces the conclusion to its own input. Other self-citations ([Moc25], [Moc26b], [MNO]) are contextual or used only in Corollary 2.4.16. Thus there is a verification gap but no demonstrable circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 1 invented entities

The paper contains no free parameters in the fitting sense. It rests on standard triangulated-category axioms and on imported theorems from [HZ22], [Oga24], and [NOS22], which are used as black boxes. The new notion of abelian n-truncated category is a definition, not an entity with independent evidence.

assumptions (6)
  • domain assumption T is a triangulated category with fixed shift [1], quasi-inverse [-1], and unit/counit natural isomorphisms (Section 1.1).
    The entire paper operates in this setting; the sign conventions for distinguished left triangles depend on this choice (Remark 1.1.1).
  • domain assumption (U,V) is an n-cotorsion pair in the sense of [HZ22, Definition 3.1]: U,V closed under direct summands, E^k(U,V)=0 for 1≤k≤n, and T=U*V_n^1=U_{-n}^{-1}*V (Definition 2.1.1).
    This is the input datum for the main theorem; all subsequent constructions assume it.
  • domain assumption N=add(U*V) is extension-closed, and the relative extriangulated structure T_N=(T,E_N,s_N) of [Oga24, Section 2] exists with the properties used in the paper: N is thick in T_N, the classes L,R,S_N admit the descriptions in Definition 2.2.2, and S_N satisfies the 2-out-of-3 property.
    Used to define the extriangulated structure on the heart (Corollary 2.2.8) and to prove Proposition 2.2.5; not reproved in the paper.
  • domain assumption The localization framework of [NOS22] applies, so the localization of T_N with respect to S_N is an extriangulated category and the induced functor is universal (Section 2.5).
    Needed for Theorem 2.5.7, the localization realization of the heart.
  • domain assumption Section 2.5 assumes T is skeletally small (stated at the start of Section 2.5).
    Restricts the localization discussion to skeletally small categories; the main theorem itself does not need this.
  • standard math Standard tools of triangulated categories, especially the octahedron axiom and exactness of Hom with respect to distinguished triangles, are assumed.
    Invoked throughout, e.g., Definition 2.1.15, Lemma 2.3.9, Proposition 2.2.5.
invented entities (1)
  • abelian n-truncated category
    purpose: A common higher-dimensional framework that packages compatible pretriangulated and extriangulated structures; the heart H/[W] is proved to be one.
    Introduced in Definition 1.2.12. It is a mathematical definition, not a postulated entity with independent falsifiable predictions. Its legitimacy rests on the internal proof that the heart satisfies it.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Extended heart construction (I): The heart of $n$-cotorsion pairs on triangulated categories." pith.science (2026). https://pith.science/paper/M43TCWDV

@misc{pith2026260803212,
  author       = {Pith},
  title        = {Pith review of: Extended heart construction (I): The heart of $n$-cotorsion pairs on triangulated categories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/M43TCWDV}},
  note         = {Machine review of arXiv:2608.03212}
}
abstract

The heart of a $t$-structure and the ideal quotient by a cluster tilting subcategory are classical constructions that produce abelian categories from triangulated categories. Their higher analogues, namely $n$-extended hearts and ideal quotient categories by $(n+1)$-cluster tilting subcategories, are generally no longer abelian, but are known to carry both pretriangulated and extriangulated structures when the underlying triangulated category is algebraic. In this article, we introduce the notion of an abelian $n$-truncated category as a common framework for such higher constructions. We extend the heart construction for cotorsion pairs to $n$-cotorsion pairs on arbitrary triangulated categories, and prove that the resulting extended heart naturally carries compatible pretriangulated and extriangulated structures forming an abelian $n$-truncated category. This construction simultaneously generalizes the $n$-extended heart of a $t$-structure and the ideal quotient by an $(n+1)$-cluster tilting subcategory. It may also be regarded as a higher-dimensional generalization of the general heart construction for cotorsion pairs on triangulated categories. Finally, we show that the heart can be realized as an extriangulated localization of a suitable relative extriangulated structure on the ambient triangulated category.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

141 extracted references · 53 canonical work pages

  1. [1]

    Adachi, Takahide and Enomoto, Haruhisa and Tsukamoto, Mayu , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 2023 , NUMBER =. doi:10.1017/S0305004122000354 , URL =

    work page doi:10.1017/s0305004122000354 2023

  2. [2]

    General heart construction on a triangulated category (

    Abe, Noriyuki and Nakaoka, Hiroyuki , date-modified =. General heart construction on a triangulated category (. Appl. Categ. Structures , mrclass =. 2012 , bdsk-url-1 =. doi:10.1007/s10485-010-9226-z , fjournal =

    work page doi:10.1007/s10485-010-9226-z 2012

  3. [3]

    and Solberg,

    Auslander, M. and Solberg, . , TITLE =. Comm. Algebra , FJOURNAL =. 1993 , NUMBER =. doi:10.1080/00927879308824717 , URL =

    work page doi:10.1080/00927879308824717 1993

  4. [4]

    Faisceaux pervers , volume =

    Be. Faisceaux pervers , volume =. Analysis and topology on singular spaces,

  5. [5]

    Rigid objects, triangulated subfactors and abelian localizations , url =

    Beligiannis, Apostolos , doi =. Rigid objects, triangulated subfactors and abelian localizations , url =. Math. Z. , mrclass =. 2013 , bdsk-url-1 =

    2013

  6. [6]

    Relative homology, higher cluster-tilting theory and categorified

    Beligiannis, Apostolos , doi =. Relative homology, higher cluster-tilting theory and categorified. J. Algebra , mrclass =. 2015 , bdsk-url-1 =

    2015

  7. [7]

    Beligiannis, Apostolos , TITLE =. J. Algebra , FJOURNAL =. 2000 , NUMBER =. doi:10.1006/jabr.1999.8237 , URL =

    work page arXiv 2000

  8. [8]

    Beligiannis, Apostolos and Marmaridis, Nikolaos , TITLE =. Comm. Algebra , FJOURNAL =. 1994 , NUMBER =. doi:10.1080/00927879408825119 , URL =

    work page doi:10.1080/00927879408825119 1994

Show all 141 references
  1. [9]

    Beligiannis, Apostolos and Reiten, Idun , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2007 , NUMBER =. doi:10.1090/memo/0883 , URL =

    2007 doi

  2. [10]

    Transport of structure in higher homological algebra , volume =

    Bennett-Tennenhaus, Raphael and Shah, Amit , doi =. Transport of structure in higher homological algebra , volume =. J. Algebra , pages =. 2021 , bdsk-url-1 =

    2021

  3. [11]

    Bondal, A. I. and Kapranov, M. M. , TITLE =. Mat. Sb. , FJOURNAL =. 1990 , NUMBER =. doi:10.1070/SM1991v070n01ABEH001253 , URL =

    1990 doi

  4. [12]

    and Larsen, Michael and Lunts, Valery A

    Bondal, Alexey I. and Larsen, Michael and Lunts, Valery A. , TITLE =. Int. Math. Res. Not. , FJOURNAL =. 2004 , NUMBER =. doi:10.1155/S1073792804140385 , URL =

    2004 doi

  5. [13]

    1994 , PAGES =

    Borceux, Francis , TITLE =. 1994 , PAGES =

    1994

  6. [14]

    Silting reduction and picture categories of 0-Auslander extriangulated categories , url =

    B. Silting reduction and picture categories of 0-Auslander extriangulated categories , url =. 2024 , bdsk-url-1 =

    2024

  7. [15]

    Buan, Aslak Bakke and Marsh, Bethany R. , doi =. From triangulated categories to module categories via localization. J. Lond. Math. Soc. (2) , mrclass =. 2012 , bdsk-url-1 =

    2012

  8. [16]

    Maximal Cohen–Macaulay modules and Tatecohomology over Gorenstein rings, , url =

    Buchweitz, Ragnar-Olaf , note =. Maximal Cohen–Macaulay modules and Tatecohomology over Gorenstein rings, , url =

  9. [17]

    Exact categories , JOURNAL =

    B. Exact categories , JOURNAL =. 2010 , NUMBER =. doi:10.1016/j.exmath.2009.04.004 , URL =

    2010 doi

  10. [18]

    Canonaco, Alberto and Stellari, Paolo , TITLE =. Adv. Math. , FJOURNAL =. 2015 , PAGES =. doi:10.1016/j.aim.2015.03.004 , URL =

    2015 doi

  11. [19]

    Chang, Huimin and Zhou, Panyue , TITLE =. J. Algebra , FJOURNAL =. 2025 , PAGES =. doi:10.1016/j.jalgebra.2025.01.001 , URL =

    2025 doi

  12. [20]

    An informal introduction to dg categories , url =

    Chen, Xiaofa and Chen, Xiao-Wu , note =. An informal introduction to dg categories , url =. 2019 , bdsk-url-1 =

    2019

  13. [21]

    On exact dg categories , url =

    Chen, Xiaofa , note =. On exact dg categories , url =. 2023 , bdsk-url-1 =

    2023

  14. [22]

    0 -Auslander correspondence , url =

    Chen, Xiaofa , note =. 0 -Auslander correspondence , url =. 2023 , bdsk-url-1 =

    2023

  15. [23]

    Auslander--Iyama correspondence for exact dg categories , url =

    Chen, Xiaofa , note =. Auslander--Iyama correspondence for exact dg categories , url =. 2023 , bdsk-url-1 =

    2023

  16. [24]

    Chen, Xiaofa , TITLE =. Adv. Math. , FJOURNAL =. 2026 , PAGES =. doi:10.1016/j.aim.2026.110809 , URL =

    2026

  17. [25]

    Chen, Xiaofa , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2026 , NUMBER =. doi:10.1016/j.jpaa.2026.108298 , URL =

    2026

  18. [26]

    Iyama-Solberg correspondence for exact dg categories , url =

    Chen, Xiaofa , note =. Iyama-Solberg correspondence for exact dg categories , url =. 2024 , bdsk-url-1 =

    2024

  19. [27]

    Exact categories and vector space categories , url =

    Dr. Exact categories and vector space categories , url =. Trans. Amer. Math. Soc. , mrclass =. 1999 , bdsk-url-1 =. doi:10.1090/S0002-9947-99-02322-3 , fjournal =

    1999 doi

  20. [28]

    Drinfeld, Vladimir , TITLE =. J. Algebra , FJOURNAL =. 2004 , NUMBER =. doi:10.1016/j.jalgebra.2003.05.001 , URL =

    2004 doi

  21. [29]

    Enomoto, Haruhisa , TITLE =. Appl. Categ. Structures , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s10485-021-09642-0 , URL =

    2021 doi

  22. [30]

    Grothendieck groups of triangulated categories via cluster tilting subcategories , volume =

    Fedele, Francesca , doi =. Grothendieck groups of triangulated categories via cluster tilting subcategories , volume =. Nagoya Math. J. , pages =. 2021 , bdsk-url-1 =

    2021

  23. [31]

    Geiss, Christof and Keller, Bernhard and Oppermann, Steffen , date-modified =. J. Reine Angew. Math. , mrclass =

  24. [32]

    Hereditary extriangulated categories: Silting objects, mutation, negative extensions , url =

    Gorsky, Mikhail and Nakaoka, Hiroyuki and Palu, Yann , note =. Hereditary extriangulated categories: Silting objects, mutation, negative extensions , url =

  25. [33]

    Gabriel, Pierre , TITLE =. Bull. Soc. Math. France , FJOURNAL =. 1962 , PAGES =

    1962

  26. [34]

    and Zisman, M

    Gabriel, P. and Zisman, M. , mrclass =. Calculus of fractions and homotopy theory , year =

  27. [35]

    On a sequence of Grothendieck groups , Year =

    Gyenge,. On a sequence of Grothendieck groups , Year =

  28. [36]

    1988 , PAGES =

    Happel, Dieter , TITLE =. 1988 , PAGES =. doi:10.1017/CBO9780511629228 , URL =

    1988 doi

  29. [37]

    Haugland, Johanne , doi =. The. Appl. Categ. Structures , number =. 2021 , bdsk-url-1 =

    2021

  30. [38]

    n-exangulated categories (

    Martin Herschend and Yu Liu and Hiroyuki Nakaoka , doi =. n-exangulated categories (. J. Algebra , keywords =. 2021 , bdsk-url-1 =

    2021

  31. [39]

    Herschend, Martin and Liu, Yu and Nakaoka, Hiroyuki , TITLE =. J. Algebra , FJOURNAL =. 2022 , PAGES =. doi:10.1016/j.jalgebra.2021.11.042 , URL =

    2022 doi

  32. [40]

    , TITLE =

    Huerta, Mindy and Mendoza, Octavio and P\'erez, Marco A. , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2021 , NUMBER =. doi:10.1016/j.jpaa.2020.106556 , URL =

    2021

  33. [41]

    Iyama, Osamu and Nakaoka, Hiroyuki and Palu, Yann , TITLE =. Trans. Amer. Math. Soc. Ser. B , FJOURNAL =. 2024 , PAGES =. doi:10.1090/btran/159 , URL =

    2024 doi

  34. [42]

    He, Jing and Zhou, Panyue , TITLE =. J. Algebra Appl. , FJOURNAL =. 2022 , NUMBER =. doi:10.1142/S0219498822500116 , URL =

    2022 doi

  35. [43]

    Mutation in triangulated categories and rigid

    Iyama, Osamu and Yoshino, Yuji , doi =. Mutation in triangulated categories and rigid. Invent. Math. , mrclass =. 2008 , bdsk-url-1 =

    2008

  36. [44]

    Manuscripta Math

    Keller, Bernhard , TITLE =. Manuscripta Math. , FJOURNAL =. 1990 , NUMBER =. doi:10.1007/BF02568439 , URL =

    1990 doi

  37. [45]

    Keller, Bernhard , TITLE =. Ann. Sci. \'. 1994 , NUMBER =

    1994

  38. [46]

    Keller, Bernhard , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 1999 , NUMBER =. doi:10.1016/S0022-4049(97)00152-7 , URL =

    1999 doi

  39. [47]

    International

    Keller, Bernhard , TITLE =. International. 2006 , ISBN =

    2006

  40. [48]

    1982 , PAGES =

    Kelly, Gregory Maxwell , TITLE =. 1982 , PAGES =

    1982

  41. [49]

    Cluster-tilted algebras are

    Keller, Bernhard and Reiten, Idun , doi =. Cluster-tilted algebras are. Adv. Math. , mrclass =. 2007 , bdsk-url-1 =

    2007

  42. [50]

    From triangulated categories to abelian categories: cluster tilting in a general framework , url =

    Koenig, Steffen and Zhu, Bin , doi =. From triangulated categories to abelian categories: cluster tilting in a general framework , url =. Math. Z. , mrclass =. 2008 , bdsk-url-1 =

    2008

  43. [51]

    n -Extension closed subcategories of n -exangulated categories , Year =

    Klapproth, Carlo , note =. n -Extension closed subcategories of n -exangulated categories , Year =

  44. [52]

    Smashing subcategories and the telescope conjecture---an algebraic approach , url =

    Krause, Henning , doi =. Smashing subcategories and the telescope conjecture---an algebraic approach , url =. Invent. Math. , mrclass =. 2000 , bdsk-url-1 =

    2000

  45. [53]

    Interactions between homotopy theory and algebra , SERIES =

    Krause, Henning , TITLE =. Interactions between homotopy theory and algebra , SERIES =. 2007 , MRCLASS =. doi:10.1090/conm/436/08405 , URL =

    2007 doi

  46. [54]

    2022 , PAGES =

    Krause, Henning , TITLE =. 2022 , PAGES =

    2022

  47. [55]

    Hearts of twin cotorsion pairs on extriangulated categories , url =

    Liu, Yu and Nakaoka, Hiroyuki , doi =. Hearts of twin cotorsion pairs on extriangulated categories , url =. J. Algebra , mrclass =. 2019 , bdsk-url-1 =

    2019

  48. [56]

    General heart construction on a triangulated category (

    Nakaoka, Hiroyuki , date-modified =. General heart construction on a triangulated category (. Appl. Categ. Structures , mrclass =. 2011 , bdsk-url-1 =. doi:10.1007/s10485-010-9223-2 , fjournal =

    2011 doi

  49. [57]

    Nakaoka, Hiroyuki , TITLE =. Appl. Categ. Structures , FJOURNAL =. 2018 , NUMBER =. doi:10.1007/s10485-017-9501-3 , URL =

    2018 doi

  50. [58]

    Nakaoka, Hiroyuki and Ogawa, Yasuaki and Sakai, Arashi , TITLE =. J. Algebra , FJOURNAL =. 2022 , PAGES =

    2022

  51. [59]

    Extriangulated categories,

    Nakaoka, Hiroyuki and Palu, Yann , fjournal =. Extriangulated categories,. Cah. Topol. G

  52. [60]

    External triangulation of the homotopy category of exact quasi-category , Year =

    Nakaoka, Hiroyuki and Palu, Yann , note =. External triangulation of the homotopy category of exact quasi-category , Year =

  53. [61]

    2001 , PAGES =

    Neeman, Amnon , TITLE =. 2001 , PAGES =. doi:10.1515/9781400837212 , URL =

    2001 doi

  54. [62]

    Ogawa, Yasuaki , TITLE =. Algebr. Represent. Theory , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s10468-024-10272-y , URL =

    2024 doi

  55. [63]

    Ogawa, Yasuaki and Shah, Amit , TITLE =. J. Algebra , FJOURNAL =. 2024 , PAGES =. doi:10.1016/j.jalgebra.2024.05.041 , URL =

    2024 doi

  56. [64]

    Padrol, Arnau and Palu, Yann and Pilaud, Vincent and Plamondon, Pierre-Guy , TITLE =. Proc. Lond. Math. Soc. (3) , FJOURNAL =. 2023 , NUMBER =. doi:10.1112/plms.12543 , URL =

    2023 doi

  57. [65]

    Cluster characters for 2-

    Palu, Yann , fjournal =. Cluster characters for 2-. Ann. Inst. Fourier (Grenoble) , mrclass =

  58. [66]

    Grothendieck group and generalized mutation rule for 2-

    Palu, Yann , doi =. Grothendieck group and generalized mutation rule for 2-. J. Pure Appl. Algebra , mrclass =. 2009 , bdsk-url-1 =

    2009

  59. [67]

    Algebraic

    Quillen, Daniel , TITLE =. Algebraic. 1973 , MRCLASS =

    1973

  60. [68]

    Rickard, Jeremy , TITLE =. J. London Math. Soc. (2) , FJOURNAL =. 1989 , NUMBER =. doi:10.1112/jlms/s2-39.3.436 , URL =

    1989 doi

  61. [69]

    Sakai, Arashi , TITLE =. J. Algebra , FJOURNAL =. 2023 , PAGES =. doi:10.1016/j.jalgebra.2022.10.008 , URL =

    2023 doi

  62. [70]

    Cotorsion theories for abelian groups , year =

    Salce, Luigi , booktitle =. Cotorsion theories for abelian groups , year =

  63. [71]

    Hassoun, Souheila and Shah, Amit , TITLE =. Comm. Algebra , FJOURNAL =. 2020 , NUMBER =. doi:10.1080/00927872.2020.1779737 , URL =

    2020

  64. [72]

    Tabuada, Goncalo , TITLE =. C. R. Math. Acad. Sci. Paris , FJOURNAL =. 2005 , NUMBER =. doi:10.1016/j.crma.2004.11.007 , URL =

    2005 doi

  65. [73]

    Tabuada, Gon. On. J. Algebra , FJOURNAL =. 2010 , NUMBER =. doi:10.1016/j.jalgebra.2009.12.020 , URL =

    2010 doi

  66. [74]

    Thomason, R. W. , doi =. The classification of triangulated subcategories , url =. Compos. Math. , mrclass =. 1997 , bdsk-url-1 =

    1997

  67. [75]

    The homotopy theory of

    To. The homotopy theory of. Invent. Math. , FJOURNAL =. 2007 , NUMBER =. doi:10.1007/s00222-006-0025-y , URL =

    2007 doi

  68. [76]

    Lectures on dg-categories , BOOKTITLE =

    To. Lectures on dg-categories , BOOKTITLE =. 2011 , MRCLASS =. doi:10.1007/978-3-642-15708-0 , URL =

    2011 doi

  69. [77]

    Grothendieck groups in extriangulated categories , url =

    Bin Zhu and Xiao Zhuang , doi =. Grothendieck groups in extriangulated categories , url =. J. Algebra , pages =. 2021 , bdsk-url-1 =

    2021

  70. [78]

    1998 , PAGES =

    Cardenas-Escudero, Manuel Enrique , TITLE =. 1998 , PAGES =

    1998

  71. [79]

    Higher-dimensional generalization of abelian categories via

    Mochizuki, Nao , note =. Higher-dimensional generalization of abelian categories via. 2025 , bdsk-url-1 =

    2025

  72. [80]

    Extended Module Categories in Higher Cluster Tilting Theory , url =

    Mochizuki, Nao , note =. Extended Module Categories in Higher Cluster Tilting Theory , url =. 2026 , bdsk-url-1 =

    2026

  73. [81]

    Auslander correspondence for proper connective

    Mochizuki, Nao , note =. Auslander correspondence for proper connective

  74. [82]

    Mochizuki, Nao and Plogmann, Marvin , title =. Bull. Lond. Math. Soc. , fjournal =. 2026 , doi =

    2026

  75. [83]

    On d -term silting objects, torsion classes, and cotorsion classes , url =

    Gupta, Esha , note =. On d -term silting objects, torsion classes, and cotorsion classes , url =

  76. [84]

    Tilting theory for extended module categories , url =

    Zhou, Yu , note =. Tilting theory for extended module categories , url =

  77. [85]

    , note =

    Argudin Monroy, Alejandro and Mendoza, Octavio and Parra, Carlos E. , note =. Tilting objects in the extended heart of a t -structure , url =

  78. [86]

    Wei, Jiaqun and Zhou, Yu , note =

  79. [87]

    Semibricks and wide subcategories in extended module categories , url =

    Gupta, Esha and Zhou, Yu , note =. Semibricks and wide subcategories in extended module categories , url =

  80. [88]

    A note on the m -extended module categories of

    Rundsveen, Endre S. A note on the m -extended module categories of

  81. [89]

    Silting subcategories and (co)torsion pairs associated to extended hearts , url =

    Huang, Liangwei and Zhang, Haicheng , note =. Silting subcategories and (co)torsion pairs associated to extended hearts , url =

  82. [90]

    An enhanced extriangulated subquotient , url =

    Mochizuki, Nao and Ogawa ,Yasuaki , note =. An enhanced extriangulated subquotient , url =. 2025 , bdsk-url-1 =

    2025

  83. [91]

    Complicial simple-minded collections , url =

    Plogmann, Marvin , note =. Complicial simple-minded collections , url =

  84. [92]

    Neeman, Amnon , TITLE =. J. Algebra , FJOURNAL =. 1990 , NUMBER =. doi:10.1016/0021-8693(90)90296-Z , URL =

    1990 doi

  85. [93]

    Rump, Wolfgang , TITLE =. J. Algebra , FJOURNAL =. 2021 , PAGES =. doi:10.1016/j.jalgebra.2020.09.010 , URL =

    2021 doi

  86. [94]

    1999 , PUBLISHER =

    Schneiders, Jean-Pierre , TITLE =. 1999 , PUBLISHER =. doi:10.24033/msmf.389 , URL =

    1999 doi

  87. [95]

    Stefanich, Germ. Derived

  88. [96]

    Verdier, Jean-Louis , date-modified =. Des cat. Ast

  89. [97]

    , TITLE =

    Weibel, Charles A. , TITLE =. 2013 , PAGES =. doi:10.1090/gsm/145 , URL =

    2013 doi

  90. [98]

    2020 , PAGES =

    Yekutieli, Amnon , TITLE =. 2020 , PAGES =

    2020

  91. [99]

    Miyachi, Jun-ichi , TITLE =. J. Algebra , FJOURNAL =. 1991 , NUMBER =. doi:10.1016/0021-8693(91)90243-2 , URL =

    1991 doi

  92. [100]

    Guo, Lingyan , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2011 , NUMBER =. doi:10.1016/j.jpaa.2010.11.015 , URL =

    2011 doi

  93. [101]

    Frontiers of Mathematics , YEAR =

    Wang, Xi and Yao, Hailou , TITLE =. Frontiers of Mathematics , YEAR =. doi:10.1007/s11464-024-0120-7 , URL =

    doi

  94. [102]

    Freyd, P. J. and Kelly, G. M. , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 1972 , PAGES =. doi:10.1016/0022-4049(72)90001-1 , URL =

    1972 doi

  95. [103]

    Faisceaux pervers , BOOKTITLE =

    Be. Faisceaux pervers , BOOKTITLE =. 1982 , MRCLASS =

    1982

  96. [104]

    Mochizuki, Nao and Nakaoka, Hiroyuki and Ogawa, Yasuaki , TITLE =

  97. [105]

    Adachi, H

    T. Adachi, H. Enomoto, and M. Tsukamoto. Intervals of s -torsion pairs in extriangulated categories with negative first extensions . Math. Proc. Cambridge Philos. Soc., 174 (3):451--469, 2023

    2023

  98. [106]

    Argudin Monroy, O

    A. Argudin Monroy, O. Mendoza, and C. E. Parra. Tilting objects in the extended heart of a t -structure . Preprint, arXiv:2503.20604, 2025. https://arxiv.org/abs/2503.20604

    2025 arXiv

  99. [107]

    A. A. Be linson, J. Bernstein, and P. Deligne. Faisceaux pervers . In Analysis and topology on singular spaces, I ( L uminy, 1981), volume 100 of Ast\'erisque, pages 5--171. Soc. Math. France, Paris, 1982

    1981

  100. [108]

    Beligiannis

    A. Beligiannis. Relative homological algebra and purity in triangulated categories . J. Algebra, 227 (1):268--361, 2000

    2000

  101. [109]

    Beligiannis and N

    A. Beligiannis and N. Marmaridis. Left triangulated categories arising from contravariantly finite subcategories . Comm. Algebra, 22 (12):5021--5036, 1994

    1994

  102. [110]

    F. Borceux. Handbook of categorical algebra. 1 , volume 50 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 1994. Basic category theory

    1994

  103. [111]

    Beligiannis and I

    A. Beligiannis and I. Reiten. Homological and homotopical aspects of torsion theories . Mem. Amer. Math. Soc., 188 (883):viii+207, 2007

    2007

  104. [112]

    Bennett-Tennenhaus and A

    R. Bennett-Tennenhaus and A. Shah. Transport of structure in higher homological algebra . J. Algebra, 574 :514--549, 2021

    2021

  105. [113]

    Chang and P

    H. Chang and P. Zhou. Mutation of n -cotorsion pairs in triangulated categories . J. Algebra, 667 :653--671, 2025

    2025

  106. [114]

    E. Gupta. On d -term silting objects, torsion classes, and cotorsion classes . Preprint, arXiv:2407.10562, 2024. https://arxiv.org/abs/2407.10562

    2024

  107. [115]

    Gupta and Y

    E. Gupta and Y. Zhou. Semibricks and wide subcategories in extended module categories . Preprint, arXiv:2511.08157, 2025. https://arxiv.org/abs/2511.08157

    2025

  108. [116]

    Huerta, O

    M. Huerta, O. Mendoza, and M. A. P\'erez. n -cotorsion pairs . J. Pure Appl. Algebra, 225 (5):Paper No. 106556, 34, 2021

    2021

  109. [117]

    He and P

    J. He and P. Zhou. On the relation between n -cotorsion pairs and (n+1) -cluster tilting subcategories . J. Algebra Appl., 21 (1):Paper No. 2250011, 12, 2022

    2022

  110. [118]

    Huang and H

    L. Huang and H. Zhang. Silting subcategories and (co)torsion pairs associated to extended hearts . Preprint, arXiv:2606.13508, 2026. https://arxiv.org/abs/2606.13508

    2026 arXiv

  111. [119]

    Iyama, H

    O. Iyama, H. Nakaoka, and Y. Palu. Auslander- R eiten theory in extriangulated categories . Trans. Amer. Math. Soc. Ser. B, 11 :248--305, 2024

    2024

  112. [120]

    Keller and I

    B. Keller and I. Reiten. Cluster-tilted algebras are G orenstein and stably C alabi- Y au . Adv. Math., 211 (1):123--151, 2007

    2007

  113. [121]

    Koenig and B

    S. Koenig and B. Zhu. From triangulated categories to abelian categories: cluster tilting in a general framework . Math. Z., 258 (1):143--160, 2008

    2008

  114. [122]

    Liu and H

    Y. Liu and H. Nakaoka. Hearts of twin cotorsion pairs on extriangulated categories . J. Algebra, 528 :96--149, 2019

    2019

  115. [123]

    Mochizuki, H

    N. Mochizuki, H. Nakaoka, and Y. Ogawa. Extended heart construction (ii) . In preparation

  116. [124]

    Mochizuki

    N. Mochizuki. Higher-dimensional generalization of abelian categories via DG -categories . Preprint, 2025. https://arxiv.org/abs/2501.06955

    2025 arXiv

  117. [125]

    Mochizuki

    N. Mochizuki. Auslander correspondence for proper connective DG -algebras via extended module categories . Preprint, arXiv:2602.01761, 2026. https://arxiv.org/abs/2602.01761

    2026

  118. [126]

    Mochizuki

    N. Mochizuki. Extended module categories in higher cluster tilting theory . Preprint, 2026. https://arxiv.org/abs/2605.24607

    2026 arXiv

  119. [127]

    Mochizuki and M

    N. Mochizuki and M. Plogmann. On the Auslander--Reiten theory for extended hearts of proper connective dg algebras . Bull. Lond. Math. Soc., 58 (7):e70413, 2026

    2026

  120. [128]

    H. Nakaoka. General heart construction on a triangulated category ( I ): U nifying \(t\) -structures and cluster tilting subcategories . Appl. Categ. Structures, 19 (6):879--899, 2011

    2011

  121. [129]

    H. Nakaoka. A simultaneous generalization of mutation and recollement of cotorsion pairs on a triangulated category . Appl. Categ. Structures, 26 (3):491--544, 2018

    2018

  122. [130]

    A. Neeman. Triangulated categories , volume 148 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2001

    2001

  123. [131]

    Nakaoka, Y

    H. Nakaoka, Y. Ogawa, and A. Sakai. Localization of extriangulated categories . J. Algebra, 611 :341--398, 2022

    2022

  124. [132]

    Nakaoka and Y

    H. Nakaoka and Y. Palu. Extriangulated categories, H ovey twin cotorsion pairs and model structures . Cah. Topol. G \' e om. Diff \' e r. Cat \' e g., 60 (2):117--193, 2019

    2019

  125. [133]

    Y. Ogawa. Localization of triangulated categories with respect to extension-closed subcategories . Algebr. Represent. Theory, 27 (3):1603--1640, 2024

    2024

  126. [134]

    Plogmann

    M. Plogmann. Complicial simple-minded collections . Preprint, arXiv:2603.03122, 2026. https://arxiv.org/abs/2603.03122

    2026

  127. [135]

    E. S. Rundsveen. A note on the m -extended module categories of Nakayama algebras . Preprint, arXiv:2601.14843, 2026. https://arxiv.org/abs/2601.14843

    2026

  128. [136]

    A. Sakai. Relative extriangulated categories arising from half exact functors . J. Algebra, 614 :592--610, 2023

    2023

  129. [137]

    Schneiders

    J.-P. Schneiders. Quasi-abelian categories and sheaves . Number 76 in M \'e moires de la Soci \'e t \'e Math \'e matique de France. Soci \'e t \'e Math \'e matique de France, 1999

    1999

  130. [138]

    Stefanich

    G. Stefanich. Derived -categories as exact completions . Preprint, arXiv:2310.12925, 2023. https://arxiv.org/abs/2310.12925

    2023 arXiv

  131. [139]

    Wang and H

    X. Wang and H. Yao. The heart of twin left n -cotorsion pairs in triangulated categories . Frontiers of Mathematics, 2025

    2025

  132. [140]

    Wei and Y

    J. Wei and Y. Zhou. AIR tilting subcategories of extended hearts . Preprint, arXiv:2512.13218, 2025. https://arxiv.org/abs/2512.13218

    2025

  133. [141]

    Y. Zhou. Tilting theory for extended module categories . Preprint, arXiv:2411.15473, 2024. https://arxiv.org/abs/2411.15473

    2024 arXiv

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.