no assigned objects or morphisms for Set^op

Author: ScriptRaccoon

databases/catdat/data_yaml/categories/Set_op.yaml

@@ -16,29 +16,6 @@ satisfied_properties: []
 
 unsatisfied_properties: []
 
-special_objects:
-  terminal object:
-    description: empty set
-  initial object:
-    description: singleton set
-  products:
-    description: disjoint union
-  coproducts:
-    description: direct products with pointwise operations
+special_objects: {}
 
-special_morphisms:
-  isomorphisms:
-    description: bijective maps
-    reason: This is deduced from its dual category.
-  epimorphisms:
-    description: injective maps
-    reason: This is deduced from its dual category.
-  monomorphisms:
-    description: surjective maps
-    reason: This is deduced from its dual category.
-  regular epimorphisms:
-    description: same as monomorphisms
-    reason: This is deduced from its dual category.
-  regular monomorphisms:
-    description: surjective homomorphisms
-    reason: This is deduced from its dual category.
+special_morphisms: {}