Skip to content

Add more core-connected categories - #435

Merged
ScriptRaccoon merged 5 commits into
mainfrom
one-object-categories
Oct 27, 2026
Merged

Add more core-connected categories#435
ScriptRaccoon merged 5 commits into
mainfrom
one-object-categories

add the category of countably infinite sets

32efcc6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar