[<<][compsci][>>][..]

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[1].
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.
[1] isbn://0262660717

[Reply][About]

[<<][compsci][>>][..]