Thu Aug 4 23:56:46 CEST 2011
initial / final
I found a comment explaining the concepts "initial" and "final" in
category theory. See section 1.4 example 1.4.4 in Pierce's Category
Theory for Computer Scientists.
In a category, an initial object is an object FROM which there is a
unique arrow to each object in the category. In Set there is only
one, the empty set, where each arrow is an empty function. A final
object is an object TO which there is a unique arrow from each object
in the category. In Set every one-element set is a final object.