Definition of the terminal and initial objects in a category and we show their essential uniqueness.
No download links available.