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