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