Skip to content

Variants of the category of finite sets - #351

Draft
ScriptRaccoon wants to merge 3 commits into
mainfrom
finite-sets-variants
Draft

Variants of the category of finite sets#351
ScriptRaccoon wants to merge 3 commits into
mainfrom
finite-sets-variants

reflexive coequalizers (WIP)

f61ad70
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar