|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png) Viewing Message
|
|
|
| ``Re: Category of Sets, according to MacLane''
by azdbacks4234 on 2008-06-11 22:53:55 |
|
| | The idea of an initial (resp. terminal) object A in a category is that for each object B in the category there is a unique morphism from (resp. to) A to (resp. from) B. The empty set is an initial object in the category of sets; the trivial group is terminal in the category of groups, and so on. |
| | [ reply | up | top ] |
|
|
|
|
|
|
