Skip to content

Add Sierpinski topos (category of set functions and commutative squares)#264

Merged
ScriptRaccoon merged 2 commits into
ScriptRaccoon:mainfrom
dschepler:sierpinski-topos
Jul 4, 2026
Merged

Add Sierpinski topos (category of set functions and commutative squares)#264
ScriptRaccoon merged 2 commits into
ScriptRaccoon:mainfrom
dschepler:sierpinski-topos

small adjustments for Set_arrow

fb40d6e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
test
succeeded Jul 4, 2026 in 24s