PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (232)
Orphanage
Unclass'd
Unproven (519)
Corrections (22)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Legalese
About
Owner confidence rating: Very high Entry average rating: No information on entry rating
limiting cone (Definition)

Let $ \mathcal{C}$ be a category and $ D$ a diagram in $ \mathcal{C}$. A cone over $ D$ consists of the following:

  1. an object $ a$ of $ \mathcal{C}$,
  2. a morphism $ f:a\to d$ for each object $ d$ in $ D$,
  3. a commutative triangle
    $\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ & a \ar[dl]_{f_1} \ar[dr]^{f_2} & \ d_1 \ar[rr]^g && d_2 } } \end{xy}$
    for every morphism $ g:d_1\to d_2$ in $ D$.

A cone over $ D$ is denoted by $ \lbrace a\to d\mid d\in D\rbrace$, or simply $ a\to D$.

A limiting cone over $ D$ is a cone over $ D$, $ c\to D$, such that for any cone $ a\to D$, there is a unique morphism $ h: a\to c$ such that the diagram

$\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ a \ar[rr]^h \ar[dr]_{x} && c \ar[dl]^{y} \ & d & } } \end{xy}$
is commutative for every object $ d$ of $ D$. If a diagram $ D$ has a limiting cone, then $ D$ is said to have a limit.

Remarks.

  • If $ D$ is a subcategory of $ \mathcal{C}$, then a cone over $ D$ is the comma category $ (a,D)$, where objects are identified with morphisms $ a\to d$ for each $ d\in D$, morphisms are identified with morphisms $ f:d_1\to d_2$ in $ D$. The identity morphism for each $ d\in D$ is $ 1_d$, and composition of morphisms is defined in terms of composition of morphisms in $ D$.
  • Any two limiting cones of a diagram $ D$ are isomorphic in the sense that if $ c_1\to D$ and $ c_2\to D$ are limiting cones, then there are morphisms $ p:c_1\to c_2$ and $ q:c_2\to c_1$ such that $ pq=1_{c_2}$ and $ qp=1_{c_1}$.
  • We may form a category from the collection of all cones over a diagram $ D$ as follows:
    • objects are cones over $ D$,
    • a morphism from a cones $ a\to D$ and a cone $ b\to D$ is a morphism $ h: a\to b$ such that
      $\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ a \ar[rr]^h \ar[dr]_{x} && b \ar[dl]^{y} \ & d & } } \end{xy}$
      is a commutative triangle.
    Clearly, identity morphisms and compositions of morphisms can then be defined accordingly.
  • From the above construction of the category of cones over $ D$, a limiting cone is just a terminal object in that category.

Examples

  1. If $ D$ consists of a single object $ d$, then a limiting cone, which always exists, is the identity morphism $ 1_d:d\to d$.
  2. If $ D$ is the empty set (no objects and no morphisms), a limiting cone over $ D$ is just a terminal object in $ \mathcal{C}$.
  3. If $ D$ consists of two objects $ a,b$ without any morphisms, then the limiting cone is the product of the two objects $ a\times b$.
  4. If $ D$ has the following diagram
    $\displaystyle \begin{xy} *!C\xybox{ \xymatrix{ & a\ar[d]^x \ b\ar[r]^y & c } } \end{xy}$
    then the limiting cone is the pullback, written $ a\times_c b$. If $ c$ is a terminal object, then $ a\times_c b \cong a\times b$.
  5. If $ D$ consists of a pair of morphisms $ x,y$ from $ a$ to $ b$, then the limiting cone over $ D$ is the equalizer of $ x$ and $ y$.

Remarks.

  • If all arrows (morphisms) are reversed, we have a cone under a diagram $ D$. A cone under a diagram $ D$ is also known as a cocone for $ D$. The dual concept of a limiting cone is thus a limiting cocone, which is an initial object in the category of cocones. All of the examples cited above can be dualized, and the respective results are an identity morphism, an initial object, a coproduct, a pushout, and a coequalizer.
  • All of the above concepts can be generalized, and we may speak of the limit of a functor, more commonly known as the inverse limit. The dual notion is that of a direct limit. Refer to links for more details.



"limiting cone" is owned by CWoo.
(view preamble | get metadata)

View style:

See Also: universal mapping property, limit of a functor

Also defines:  cone over, cone under, cone, cocone
Log in to rate this entry.
(view current ratings)

Cross-references: limit of a functor, coequalizer, pushout, coproduct, initial object, equalizer, pullback, product, empty set, terminal object, collection, isomorphic, terms, composition, identity, comma category, subcategory, limit, diagram, triangle, commutative, morphism, object, category
There are 8 references to this entry.

This is version 7 of limiting cone, born on 2006-09-16, modified 2008-09-22.
Object id is 8355, canonical name is LimitingCone.
Accessed 2637 times total.

Classification:
AMS MSC: 18A30 (Category theory; homological algebra :: General theory of categories and functors :: Limits and colimits )
Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)