Repository navigation

Preadditive categories are not assumed to be locally small - #359

Merged

ScriptRaccoon merged 4 commits into

mainfrom

preadditive-correction

Sep 8, 2026

Merged

Preadditive categories are not assumed to be locally small#359
ScriptRaccoon merged 4 commits into
mainfrom
preadditive-correction

Commits on Sep 7, 2026
- add some related properties
  ScriptRaccoon
  committed
  1d7fad6
- preadditive categories are not necessarily locally small
  ScriptRaccoon
  committed
  7b36a2d
- fix two results about Grothendieck abelian categories
  ScriptRaccoon
  committed
  19622cf
- strengthen the theorem on self-dual Grothendieck abelian categories
  ScriptRaccoon
  committed
  793537a