Variants of the category of finite sets - #351

Draft

ScriptRaccoon wants to merge 3 commits into

mainfrom

finite-sets-variants

Commits on Sep 3, 2026

add the category of finite sets of even cardinality
ScriptRaccoon
committed
8869ae6
add the category of finite sets of cardinality a power of 3
ScriptRaccoon
committed
8423b35
reflexive coequalizers (WIP)
ScriptRaccoon
committed
8466070