Repository navigation

feat(CategoryTheory/Abelian): monoidal abelian categories with functorial flat resolutions - #45413

Open

joelriou wants to merge 11 commits into

leanprover-community:masterfrom

joelriou:abelian-flat

Open

feat(CategoryTheory/Abelian): monoidal abelian categories with functorial flat resolutions#45413
joelriou wants to merge 11 commits into
leanprover-community:masterfrom
joelriou:abelian-flat

Commits on Oct 28, 2026
Commits on Oct 30, 2026
- Merge remote-tracking branch 'origin/master' into abelian-flat
  joelriou
  committed
  a02aee2
- Merge remote-tracking branch 'origin/master' into preserve-limit-retract
  joelriou
  committed
  ae08e9d
- Merge remote-tracking branch 'origin/preserve-limit-retract' into abelian-flat
  joelriou
  committed
  a4fb334
- Merge remote-tracking branch 'origin/master' into abelian-flat
  joelriou
  committed
  bd4dae0
- fix
  joelriou
  committed
  97ebfc0
- public section
  joelriou
  committed
  0ddb425
Commits on Nov 1, 2026
- Merge remote-tracking branch 'origin/master' into abelian-flat
  joelriou
  committed
  8e7ad12
- Monoidal.flat
  joelriou
  committed
  ab78a8f