Deductions
- object of a category is subclass of entity ⇐ (object of a category is subclass of element), (element is subclass of entity), (is subclass of is a transitive relation)
- object of a category is subclass of abstract entity ⇐ (object of a category is subclass of element), (element is subclass of abstract entity), (is subclass of is a transitive relation)
- object of a category is subclass of element ⇐ (object of a category is subclass of element), (element is subclass of element), (is subclass of is a transitive relation)
- object of a category is subclass of mathematical object ⇐ (object of a category is subclass of element), (element is subclass of mathematical object), (is subclass of is a transitive relation)
- object of a category has quality arity ⇐ (object of a category has quality is an element of), (is an element of has quality arity), (has quality is a transitive relation)
- object of a category has quality number of entities ⇐ (object of a category has quality is an element of), (is an element of has quality number of entities), (has quality is a transitive relation)
- object of a category has quality is an element of ⇐ (object of a category is subclass of element), (element has quality is an element of)
- object of a category has quality taxonomic rank ⇐ (object of a category is subclass of element), (element has quality taxonomic rank)
- object of a category has quality property ⇐ (object of a category is subclass of element), (element has quality property)
- object of a category has quality mathematical object ⇐ (object of a category is subclass of element), (element has quality mathematical object)
- object of a category has quality mathematical property ⇐ (object of a category is subclass of element), (element has quality mathematical property)
- object of a category has quality type of property ⇐ (object of a category is subclass of element), (element has quality type of property)
- object of a category has quality existence ⇐ (object of a category is subclass of element), (element has quality existence)
- object of a category has quality entity ⇐ (object of a category is subclass of element), (element has quality entity)
- object of a category has quality quality ⇐ (object of a category is subclass of element), (element has quality quality)
- object of a category has quality type ⇐ (object of a category is subclass of element), (element has quality type)
- object of a category has quality abstract entity ⇐ (object of a category is subclass of element), (element has quality abstract entity)
- object of a category has quality superclass ⇐ (object of a category is subclass of element), (element has quality superclass)
- object of a category has quality set ⇐ (object of a category is subclass of element), (element has quality set)
- object of a category has quality relation ⇐ (object of a category is subclass of element), (element has quality relation)
- object of a category has quality criterion ⇐ (object of a category is subclass of element), (element has quality criterion)
- object of a category has quality class ⇐ (object of a category is subclass of element), (element has quality class)
- object of a category is for example top type ⇐ (top type is a object of a category), (is a is inverse of is for example)
- object of a category is for example bottom type ⇐ (bottom type is a object of a category), (is a is inverse of is for example)
- bottom type is a object of a category ⇐ (injective object is subclass of object of a category), (bottom type is a injective object)
- top type is a object of a category ⇐ (injective object is subclass of object of a category), (top type is a injective object)