Skip to content

Add some very large Grothendieck abelian categories - #360

Merged
ScriptRaccoon merged 5 commits into
mainfrom
large-grothendieck-categories
Sep 9, 2026
Merged

Add some very large Grothendieck abelian categories#360
ScriptRaccoon merged 5 commits into
mainfrom
large-grothendieck-categories

add the category of large vector spaces with a small basis

e7164d0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar