pith. sign in

arxiv: 2209.01128 · v3 · pith:JMWTJ3DRnew · submitted 2022-09-02 · 🧮 math.RT · math.CT

n-Extension closed subcategories of n-exangulated categories

Carlo Klapproth This is my paper

Pith reviewed 2026-05-24 10:49 UTC · model grok-4.3

classification 🧮 math.RT math.CT
keywords n-exangulated categoriesn-extension closed subcategoriesn-exact categoriesextriangulated categoriesObscure Axiomweakly idempotent completeextension closed subcategoriesadditive categories
0
0 comments X

The pith

An n-extension closed subcategory of an n-exangulated category inherits an n-exangulated structure by restriction.

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

The paper shows that if a subcategory is closed under n-extensions in an n-exangulated category, then it inherits the full n-exangulated structure simply by restricting the original maps and axioms. It also establishes that a strong form of the Obscure Axiom holds in n-exangulated categories for n at least 2. This leads to a characterization of n-exact categories and an equivalence for the (WIC) condition in extriangulated categories. The results are then applied to show the same inheritance for n-exact categories.

Core claim

An n-extension closed subcategory of an n-exangulated category naturally inherits an n-exangulated structure through restriction of the ambient n-exangulated structure. A strong version of the Obscure Axiom holds for n-exangulated categories where n ≥ 2, allowing n-exact categories to be characterized as n-exangulated categories with monic inflations and epic deflations. For extriangulated categories, condition (WIC) is equivalent to the underlying additive category being weakly idempotent complete.

What carries the argument

The restriction of the n-exangulated structure to an n-extension closed subcategory, which preserves the required maps and axioms.

If this is right

  • n-extension closed subcategories of n-exangulated categories are themselves n-exangulated.
  • A strong Obscure Axiom holds in n-exangulated categories for n ≥ 2.
  • n-exact categories can be characterized as n-exangulated categories with monic inflations and epic deflations.
  • Condition (WIC) in an extriangulated category is equivalent to the underlying additive category being weakly idempotent complete.
  • n-extension closed subcategories of n-exact categories are n-exact.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This inheritance mechanism can be used to construct new n-exangulated categories from existing ones without verifying axioms from scratch.
  • The equivalence for (WIC) may simplify verification in examples of extriangulated categories.
  • Improved results on subcategories could extend to other variants of extriangulated structures in higher dimensions.
  • Applications might include subcategories in module categories or derived categories where closure under extensions is natural.

Load-bearing premise

The n-exangulated category axioms remain satisfied when all structure maps are restricted to an n-extension closed subcategory.

What would settle it

An explicit n-extension closed subcategory of a known n-exangulated category where the restricted conflations fail to satisfy one of the n-exangulated axioms.

read the original abstract

Let $n$ be a positive integer. We show that an $n$-extension closed subcategory of an $n$-exangulated category naturally inherits an $n$-exangulated structure through restriction of the ambient $n$-exangulated structure. Furthermore, we show that a strong version of the Obscure Axiom holds for $n$-exangulated categories, where $n \geq 2$. This allows us to characterize $n$-exact categories as $n$-exangulated categories with monic inflations and epic deflations. We also show that for an extriangulated category condition (WIC), which was introduced by Nakaoka and Palu, is equivalent to the underlying additive category being weakly idempotent complete. We then apply our results to show that $n$-extension closed subcategories of an $n$-exact category are again $n$-exact. Furthermore, we recover and improve results of Klapproth and Zhou.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper proves that an n-extension closed subcategory of an n-exangulated category inherits an n-exangulated structure via restriction of the ambient data. It establishes a strong form of the Obscure Axiom for n-exangulated categories when n≥2, characterizes n-exact categories as n-exangulated categories whose inflations are monic and deflations are epic, shows that condition (WIC) in an extriangulated category is equivalent to the underlying additive category being weakly idempotent complete, deduces that n-extension closed subcategories of n-exact categories are again n-exact, and recovers/improves results of Klapproth and Zhou.

Significance. If the derivations hold, the inheritance theorem supplies a systematic method for producing new n-exangulated categories from old ones, which is a useful structural result in the theory of higher exangulated and extriangulated categories. The Obscure Axiom strengthening and the characterizations of n-exact and (WIC) categories tighten the dictionary between these notions and classical exact-category axioms. The recovery of prior results adds consolidation value. The paper explicitly identifies the n-extension-closed hypothesis as the precise condition that keeps all structure maps and n-exangles inside the subcategory.

minor comments (2)
  1. [Abstract] The abstract lists the recovered results of Klapproth and Zhou but does not name the specific theorems or papers; adding the citations in the introduction would improve traceability.
  2. [Main theorem (likely §3)] Notation for the restricted n-exangle and the restricted E_n functor is introduced in the main theorem statement; a short dedicated paragraph comparing the restricted data to the ambient data would aid readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report, accurate summary of our results, and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

Minor self-citation present but not load-bearing for central result

full rationale

The paper's central result is a direct proof that an n-extension closed subcategory inherits the n-exangulated structure by restriction of the ambient data, with the closedness hypothesis ensuring all structure maps and n-exangles remain inside the subcategory and satisfy the axioms. This is a standard verification against external definitions of n-exangulated categories from prior literature and does not reduce to self-definition, fitted inputs renamed as predictions, or any of the enumerated circular patterns. A self-citation to Klapproth and Zhou appears for recovering prior results, but it is not invoked to justify the main inheritance theorem or to forbid alternatives; the proof stands on its own arguments. No load-bearing self-citation chain or ansatz smuggling is present, so the derivation remains self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The paper relies on standard axioms of additive categories and the definitions of n-exangulated and extriangulated categories from prior literature; no free parameters, ad-hoc axioms, or invented entities are indicated in the abstract.

pith-pipeline@v0.9.0 · 5694 in / 1074 out tokens · 18031 ms · 2026-05-24T10:49:47.935973+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Higher exact dg-categories

    math.CT 2026-04 unverdicted novelty 7.0

    n-exact dg-categories are introduced so that their homotopy categories carry n-exangulated structures when Hom-cohomologies vanish, and n-cluster tilting subcategories of exact dg-categories naturally become n-exact d...

  2. Stratifying systems and Jordan-H\"{o}lder extriangulated categories

    math.RT 2022-08 unverdicted novelty 7.0

    Extends stratifying systems to extriangulated categories, proves F(Φ) is Jordan-Hölder under left exactness on minimal projective completions, characterizes length categories via Grothendieck monoids, and answers an o...

  3. Chains of model structures arising from cotorsion pairs on extriangulated categories

    math.RT 2026-04 unverdicted novelty 6.0

    Chains of equivalent model structures arise from cotorsion pairs in extriangulated categories under completeness assumptions, with homotopy categories triangulated-equivalent to a common stable category, recovering Go...

  4. Homotopic morphisms and diagram theorems in extriangulated categories

    math.CT 2026-04 unverdicted novelty 6.0

    Homotopic morphisms are defined for E-triangles in extriangulated categories so that any morphism of E-triangles decomposes into or can be adjusted to homotopic morphisms, yielding 4x4 lemma variants and a characteriz...

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · cited by 4 Pith papers

  1. [1]

    https://arxiv.org/abs/2205.03097

    Raphael Bennett-Tennenhaus, Johanne Haugland, Mads Hustad Sandøy and Amit Shah, The category of extensions and a characterisation of n -exangulated functors, Preprint, 2022. https://arxiv.org/abs/2205.03097

    work page arXiv 2022

  2. [2]

    Raphael Bennett-Tennenhaus and Amit Shah, Transport of structure in higher homological algebra, Journal of Algebra, 574:514-549, 2021

    work page 2021

  3. [3]

    Theo Bühler, Exact categories, Expositiones Mathematicae, 28(1):1-69, 2010

    work page 2010

  4. [4]

    [Gri95] P.-A

    Haruhisa Enomoto and Shunya Saito, Grothendieck monoids of extriangulated categories Preprint, 2022. https://arxiv.org/abs/2208.02928

    work page arXiv 2022

  5. [5]

    Christof Geiss, Bernhard Keller and Steffen Oppermann, n -angulated categories, Journal für die reine und angewandte Mathematik (Crelles Journal), 675:101-120, 2013

    work page 2013

  6. [6]

    Johanne Haugland, The Grothendieck Group of an n-exangulated Category, Applied Categorical Structures 29(3):431–446, 2021

    work page 2021

  7. [7]

    Martin Herschend, Yu Liu and Hiroyuki Nakaoka, n -exangulated categories (I): Definitions and fundamental properties, Journal of Algebra, 570:531-586, 2021

    work page 2021

  8. [8]

    Martin Herschend, Yu Liu and Hiroyuki Nakaoka, n -Exangulated categories (II): Constructions from n -cluster tilting subcategories, Journal of Algebra, 594:636-684, 2022

    work page 2022

  9. [9]

    https://arxiv.org/abs/2109.12954

    Jian He, Panyue Zhou, n -exact categories arising from n -exangulated categories, Preprint, 2021. https://arxiv.org/abs/2109.12954

    work page arXiv 2021

  10. [10]

    Gustavo Jasso, n -Abelian and n -exact categories, Mathematische Zeitschrift, 283:703–759(3-4), 2016

    work page 2016

  11. [11]

    https://arxiv.org/abs/2108.04596

    Carlo Klapproth, n -Exact categories arising from (n+2) -angulated categories, Preprint, 2021. https://arxiv.org/abs/2108.04596

    work page arXiv 2021

  12. [12]

    Henning Krause, Krull–Schmidt categories and projective covers, Expositiones Mathematicae, 33(4):535-549, 2015

    work page 2015

  13. [13]

    [Kra15] H

    Carlo Klapproth, Dixy Msapato and Amit Shah, Idempotent completions of n -exangulated categories, Preprint, 2022. https://arxiv.org/abs/2207.04023

    work page arXiv 2022

  14. [14]

    Dixy Msapato, The Karoubi envelope and weak idempotent completion of an extriangulated category, Applied Categorical Structures, 30(3):499–535, 2022

    work page 2022

  15. [15]

    Hiroyuki Nakaoka and Yann Palu, Extriangulated categories, Hovey twin cotorsion pairs and model structures, Cahiers de Topologie et Géométrie Différentielle Catégoriques, 60(3):117–193, 2019

    work page 2019

  16. [16]

    Daniel Quillen, Higher algebraic K -theory I , in Algebraic K -theory, I : H igher K -theories, Lecture Notes in Mathematics, 341:85-147, Springer, Berlin-New York 1973

    work page 1973

  17. [17]

    http://kups.ub.uni-koeln.de/id/eprint/61013

    Aran Tattar, Torsion structures, subobjects and unique filtrations in non-abelian categories, PhD thesis, Universität zu Köln, 2022. http://kups.ub.uni-koeln.de/id/eprint/61013

    work page 2022

  18. [18]

    https://arxiv.org/abs/2207.13465

    Yucheng Wang and Jiaqun Wei, Ideal approximation in n -exangulated categories, Preprint, 2022. https://arxiv.org/abs/2207.13465

    work page arXiv 2022

  19. [19]

    Panyue Zhou, n -extension closed subcategories of (n+2) -angulated categories, Archiv der Mathematik, 118:375–382, 2022

    work page 2022