home
/
catabase
/
categorical_structure
categorical_structure: CRing, pushout
This data as
json
category
construction
CRing
pushout