Terminal object
Object
| context | C … category |
| definiendum | T |
| inclusion | T:ObC |
| for all | X:ObC |
| postulate | ∃!i. i:C[X,T] |
Discussion
See Initial object for the definition of the dual, as well as a characterization as universal morphism.
Reference
Wikipedia: Initial and terminal objects
Parents
Context
Requirements
Element of
