[<<][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][>>][..]