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