bottom type

Deductions

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