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

ScriptRaccoon merged 2 commits into

ScriptRaccoon:mainScriptRaccoon/CatDat:mainfrom

dschepler:sierpinski-toposdschepler/CatDat:sierpinski-toposCopy head branch name to clipboard