Skip to content

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

strengthen the theorem on self-dual Grothendieck abelian categories

793537a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar