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