Pushouts in V⁰
Construct pushouts in V.
Anders: For some reason I constructed these from colimits in HSET in UniMath: https://unimath.github.io/doc/UniMath/4dd5c17/UniMath.CategoryTheory.categories.HSET.Colimits.html#PushoutsHSET_from_Colims
Construct pushouts in V.
Anders: For some reason I constructed these from colimits in HSET in UniMath: https://unimath.github.io/doc/UniMath/4dd5c17/UniMath.CategoryTheory.categories.HSET.Colimits.html#PushoutsHSET_from_Colims