A multilimit of a diagram in a category is a (small) set of cones over such that any cone over factors uniquely through a unique element of . Of course, limits are precisely multilimits for which is a singleton.
For example, the category of fields has no initial object, but it has a multi-initial-object, namely the family of all prime field?s.
Revised on January 19, 2010 18:28:31
by Toby Bartels