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