**Next:**Functors

**Up:**Appendix

**Previous:***-Category

**Definition 2.5**

*A*

**terminal object**in a category is a -object 1 such that, given any other -object A, there exists one and only one -arrow from A to 1.**Examples**

- in
the terminal object is (
,
),
- For example in set (S) a terminal object is a singleton , since given any other element there exist 1 and only 1 arrow .

Cecilia Flori 2006-11-21