Variants of the category of finite sets - #351

Merged

ScriptRaccoon merged 3 commits into

mainfrom

finite-sets-variants

Sep 5, 2026

Commits on Sep 4, 2026

add the category of finite sets of even cardinality
ScriptRaccoon
committed
eb66c1c

Commits on Sep 5, 2026

add the category of finite sets of cardinality a power of 3
ScriptRaccoon
committed
4547975
add the category of finite sets of odd cardinality
ScriptRaccoon
committed
6727cf6