CINXE.COM

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg-flat.dtd" > <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title> limit (changes) in nLab </title> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /> <meta name="robots" content="noindex,nofollow" /> <meta name="viewport" content="width=device-width, initial-scale=1" /> <link href="/stylesheets/instiki.css?1676280126" media="all" rel="stylesheet" type="text/css" /> <link href="/stylesheets/mathematics.css?1660229990" media="all" rel="stylesheet" type="text/css" /> <link href="/stylesheets/syntax.css?1660229990" media="all" rel="stylesheet" type="text/css" /> <link href="/stylesheets/nlab.css?1676280126" media="all" rel="stylesheet" type="text/css" /> <link rel="stylesheet" type="text/css" href="https://cdn.jsdelivr.net/gh/dreampulse/computer-modern-web-font@master/fonts.css"/> <style type="text/css"> h1#pageName, div.info, .newWikiWord a, a.existingWikiWord, .newWikiWord a:hover, [actiontype="toggle"]:hover, #TextileHelp h3 { color: #226622; } a:visited.existingWikiWord { color: #164416; } </style> <style type="text/css"><![CDATA[/*></style> <script src="/javascripts/prototype.js?1660229990" type="text/javascript"></script> <script src="/javascripts/effects.js?1660229990" type="text/javascript"></script> <script src="/javascripts/dragdrop.js?1660229990" type="text/javascript"></script> <script src="/javascripts/controls.js?1660229990" type="text/javascript"></script> <script src="/javascripts/application.js?1660229990" type="text/javascript"></script> <script src="/javascripts/page_helper.js?1660229990" type="text/javascript"></script> <script src="/javascripts/thm_numbering.js?1660229990" type="text/javascript"></script> <script type="text/x-mathjax-config"> <![CDATA[//><!]]> </script> <script type="text/javascript"> <![CDATA[//><!]]> </script> <link href="https://ncatlab.org/nlab/atom_with_headlines" rel="alternate" title="Atom with headlines" type="application/atom+xml" /> <link href="https://ncatlab.org/nlab/atom_with_content" rel="alternate" title="Atom with full content" type="application/atom+xml" /> <script type="text/javascript"> document.observe("dom:loaded", function() { generateThmNumbers(); }); </script> </head> <body> <div id="Container"> <div id="Content"> <h1 id="pageName"> <span style="float: left; margin: 0.5em 0.25em -0.25em 0"> <svg xmlns="http://www.w3.org/2000/svg" width="1.872em" height="1.8em" viewBox="0 0 190 181"> <path fill="#226622" d="M72.8 145c-1.6 17.3-15.7 10-23.6 20.2-5.6 7.3 4.8 15 11.4 15 11.5-.2 19-13.4 26.4-20.3 3.3-3 8.2-4 11.2-7.2a14 14 0 0 0 2.9-11.1c-1.4-9.6-12.4-18.6-16.9-27.2-5-9.6-10.7-27.4-24.1-27.7-17.4-.3-.4 26 4.7 30.7 2.4 2.3 5.4 4.1 7.3 6.9 1.6 2.3 2.1 5.8-1 7.2-5.9 2.6-12.4-6.3-15.5-10-8.8-10.6-15.5-23-26.2-31.8-5.2-4.3-11.8-8-18-3.7-7.3 4.9-4.2 12.9.2 18.5a81 81 0 0 0 30.7 23c3.3 1.5 12.8 5.6 10 10.7-2.5 5.2-11.7 3-15.6 1.1-8.4-3.8-24.3-21.3-34.4-13.7-3.5 2.6-2.3 7.6-1.2 11.1 2.8 9 12.2 17.2 20.9 20.5 17.3 6.7 34.3-8 50.8-12.1z"/> <path fill="#a41e32" d="M145.9 121.3c-.2-7.5 0-19.6-4.5-26-5.4-7.5-12.9-1-14.1 5.8-1.4 7.8 2.7 14.1 4.8 21.3 3.4 12 5.8 29-.8 40.1-3.6-6.7-5.2-13-7-20.4-2.1-8.2-12.8-13.2-15.1-1.9-2 9.7 9 21.2 12 30.1 1.2 4 2 8.8 6.4 10.3 6.9 2.3 13.3-4.7 17.7-8.8 12.2-11.5 36.6-20.7 43.4-36.4 6.7-15.7-13.7-14-21.3-7.2-9.1 8-11.9 20.5-23.6 25.1 7.5-23.7 31.8-37.6 38.4-61.4 2-7.3-.8-29.6-13-19.8-14.5 11.6-6.6 37.6-23.3 49.2z"/> <path fill="#193c78" d="M86.3 47.5c0-13-10.2-27.6-5.8-40.4 2.8-8.4 14.1-10.1 17-1 3.8 11.6-.3 26.3-1.8 38 11.7-.7 10.5-16 14.8-24.3 2.1-4.2 5.7-9.1 11-6.7 6 2.7 7.4 9.2 6.6 15.1-2.2 14-12.2 18.8-22.4 27-3.4 2.7-8 6.6-5.9 11.6 2 4.4 7 4.5 10.7 2.8 7.4-3.3 13.4-16.5 21.7-16 14.6.7 12 21.9.9 26.2-5 1.9-10.2 2.3-15.2 3.9-5.8 1.8-9.4 8.7-15.7 8.9-6.1.1-9-6.9-14.3-9-14.4-6-33.3-2-44.7-14.7-3.7-4.2-9.6-12-4.9-17.4 9.3-10.7 28 7.2 35.7 12 2 1.1 11 6.9 11.4 1.1.4-5.2-10-8.2-13.5-10-11.1-5.2-30-15.3-35-27.3-2.5-6 2.8-13.8 9.4-13.6 6.9.2 13.4 7 17.5 12C70.9 34 75 43.8 86.3 47.4z"/> </svg> </span> <span class="webName">nLab</span> limit (changes) </h1> <div class="navigation"> <span class="skipNav"><a href='#navEnd'>Skip the Navigation Links</a> | </span> <span style="display:inline-block; width: 0.3em;"></span> <a href="/nlab/show/diff/HomePage" accesskey="H" title="Home page">Home Page</a> | <a href="/nlab/all_pages" accesskey="A" title="List of all pages">All Pages</a> | <a href="/nlab/latest_revisions" accesskey="U" title="Latest edits and page creations">Latest Revisions</a> | <a href="https://nforum.ncatlab.org/discussion/8611/#Item_14" title="Discuss this page in its dedicated thread on the nForum" style="color: black">Discuss this page</a> | <form accept-charset="utf-8" action="/nlab/search" id="navigationSearchForm" method="get"> <fieldset class="search"><input type="text" id="searchField" name="query" value="Search" style="display:inline-block; float: left;" onfocus="this.value == 'Search' ? this.value = '' : true" onblur="this.value == '' ? this.value = 'Search' : true" /></fieldset> </form> <span id='navEnd'></span> </div> <div id="revision"> <p class="show_diff"> Showing changes from revision #90 to #91: <ins class="diffins">Added</ins> | <del class="diffdel">Removed</del> | <del class="diffmod">Chan</del><ins class="diffmod">ged</ins> </p> <blockquote> <p>This entry is about the notion of “limit” in <a class='existingWikiWord' href='/nlab/show/diff/category+theory'>category theory</a>. For the notion of the same name in <a class='existingWikiWord' href='/nlab/show/diff/analysis'>analysis</a> and <a class='existingWikiWord' href='/nlab/show/diff/topology'>topology</a> see <em><a class='existingWikiWord' href='/nlab/show/diff/convergence'>limit of a sequence</a></em> and <em><a class='existingWikiWord' href='/nlab/show/diff/limit+of+a+function'>limit of a function</a></em>.</p> </blockquote> <div class='rightHandSide'> <div class='toc clickDown' tabindex='0'> <h3 id='context'>Context</h3> <h4 id='category_theory'>Category theory</h4> <div class='hide'> <p><strong><a class='existingWikiWord' href='/nlab/show/diff/category+theory'>category theory</a></strong></p> <h2 id='sidebar_concepts'>Concepts</h2> <ul> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/category'>category</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/functor'>functor</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/natural+transformation'>natural transformation</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/Cat'>Cat</a></p> </li> </ul> <h2 id='sidebar_universal_constructions'>Universal constructions</h2> <ul> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/universal+construction'>universal construction</a></p> <ul> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/representable+functor'>representable functor</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/adjoint+functor'>adjoint functor</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/limit'>limit</a>/<a class='existingWikiWord' href='/nlab/show/diff/colimit'>colimit</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/weighted+limit'>weighted limit</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/end'>end</a>/<a class='existingWikiWord' href='/nlab/show/diff/end'>coend</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/Kan+extension'>Kan extension</a></p> </li> </ul> </li> </ul> <h2 id='sidebar_theorems'>Theorems</h2> <ul> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/Yoneda+lemma'>Yoneda lemma</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/Isbell+duality'>Isbell duality</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/Grothendieck+construction'>Grothendieck construction</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/adjoint+functor+theorem'>adjoint functor theorem</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/monadicity+theorem'>monadicity theorem</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/adjoint+lifting+theorem'>adjoint lifting theorem</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/Tannaka+duality'>Tannaka duality</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/Gabriel%E2%80%93Ulmer+duality'>Gabriel-Ulmer duality</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/small+object+argument'>small object argument</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/Freyd-Mitchell+embedding+theorem'>Freyd-Mitchell embedding theorem</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/relation+between+type+theory+and+category+theory'>relation between type theory and category theory</a></p> </li> </ul> <h2 id='sidebar_extensions'>Extensions</h2> <ul> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/sheaf+and+topos+theory'>sheaf and topos theory</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/enriched+category+theory'>enriched category theory</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/higher+category+theory'>higher category theory</a></p> </li> </ul> <h2 id='sidebar_applications'>Applications</h2> <ul> <li><a class='existingWikiWord' href='/nlab/show/diff/applications+of+%28higher%29+category+theory'>applications of (higher) category theory</a></li> </ul> <div> <p> <a href='/nlab/edit/category+theory+-+contents'>Edit this sidebar</a> </p> </div></div> <h4 id='limits_and_colimits'>Limits and colimits</h4> <div class='hide'> <p><strong><a class='existingWikiWord' href='/nlab/show/diff/limit'>limits and colimits</a></strong></p> <h2 id='1categorical'>1-Categorical</h2> <ul> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/limit'>limit and colimit</a></p> <ul> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/limits+and+colimits+by+example'>limits and colimits by example</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/commutativity+of+limits+and+colimits'>commutativity of limits and colimits</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/small+limit'>small limit</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/filtered+colimit'>filtered colimit</a></p> <ul> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/directed+colimit'>directed colimit</a></p> <ul> <li><a class='existingWikiWord' href='/nlab/show/diff/sequential+limit'>sequential colimit</a></li> </ul> </li> </ul> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/sifted+colimit'>sifted colimit</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/connected+limit'>connected limit</a>, <a class='existingWikiWord' href='/nlab/show/diff/wide+pullback'>wide pullback</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/preserved+limit'>preserved limit</a>, <a class='existingWikiWord' href='/nlab/show/diff/reflected+limit'>reflected limit</a>, <a class='existingWikiWord' href='/nlab/show/diff/created+limit'>created limit</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/cartesian+product'>product</a>, <a class='existingWikiWord' href='/nlab/show/diff/pullback'>fiber product</a>, <a class='existingWikiWord' href='/nlab/show/diff/base+change'>base change</a>, <a class='existingWikiWord' href='/nlab/show/diff/coproduct'>coproduct</a>, <a class='existingWikiWord' href='/nlab/show/diff/pullback'>pullback</a>, <a class='existingWikiWord' href='/nlab/show/diff/pushout'>pushout</a>, <a class='existingWikiWord' href='/nlab/show/diff/cobase+change'>cobase change</a>, <a class='existingWikiWord' href='/nlab/show/diff/equalizer'>equalizer</a>, <a class='existingWikiWord' href='/nlab/show/diff/coequalizer'>coequalizer</a>, <a class='existingWikiWord' href='/nlab/show/diff/join'>join</a>, <a class='existingWikiWord' href='/nlab/show/diff/meet'>meet</a>, <a class='existingWikiWord' href='/nlab/show/diff/terminal+object'>terminal object</a>, <a class='existingWikiWord' href='/nlab/show/diff/initial+object'>initial object</a>, <a class='existingWikiWord' href='/nlab/show/diff/direct+product'>direct product</a>, <a class='existingWikiWord' href='/nlab/show/diff/direct+sum'>direct sum</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/finite+limit'>finite limit</a></p> <ul> <li><a class='existingWikiWord' href='/nlab/show/diff/exact+functor'>exact functor</a></li> </ul> </li> </ul> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/Kan+extension'>Kan extension</a></p> <ul> <li><a class='existingWikiWord' href='/nlab/show/diff/Yoneda+extension'>Yoneda extension</a></li> </ul> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/weighted+limit'>weighted limit</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/end'>end and coend</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/fibered+limit'>fibered limit</a></p> </li> </ul> <h2 id='2categorical'>2-Categorical</h2> <ul> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/2-limit'>2-limit</a></p> <ul> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/inserter'>inserter</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/isoinserter'>isoinserter</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/equifier'>equifier</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/inverter'>inverter</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/PIE-limit'>PIE-limit</a></p> </li> </ul> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/2-pullback'>2-pullback</a>, <a class='existingWikiWord' href='/nlab/show/diff/comma+object'>comma object</a></p> </li> </ul> <h2 id='1categorical_2'>(∞,1)-Categorical</h2> <ul> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/%28%E2%88%9E%2C1%29-limit'>(∞,1)-limit</a></p> <ul> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/%28infinity%2C1%29-pullback'>(∞,1)-pullback</a></p> <ul> <li><a class='existingWikiWord' href='/nlab/show/diff/fiber+sequence'>fiber sequence</a></li> </ul> </li> </ul> </li> </ul> <h3 id='modelcategorical'>Model-categorical</h3> <ul> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/homotopy+Kan+extension'>homotopy Kan extension</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/homotopy+limit'>homotopy limit</a></p> <ul> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/homotopy+product'>homotopy product</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/homotopy+equalizer'>homotopy equalizer</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/fiber+sequence'>homotopy fiber</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/mapping+cone'>mapping cone</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/homotopy+pullback'>homotopy pullback</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/homotopy+totalization'>homotopy totalization</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/homotopy+coend'>homotopy end</a></p> </li> </ul> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/homotopy+limit'>homotopy colimit</a></p> <ul> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/homotopy+coproduct'>homotopy coproduct</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/homotopy+coequalizer'>homotopy coequalizer</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/cofiber+sequence'>homotopy cofiber</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/mapping+cocone'>mapping cocone</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/homotopy+pushout'>homotopy pushout</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/homotopy+realization'>homotopy realization</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/homotopy+coend'>homotopy coend</a></p> </li> </ul> </li> </ul> <div> <p> <a href='/nlab/edit/infinity-limits+-+contents'>Edit this sidebar</a> </p> </div></div> </div> </div> <h1 id='contents'>Contents</h1> <div class='maruku_toc'><ul><li><a href='#idea'>Idea</a><ul><li><a href='#global_versus_local'>Global versus local</a></li></ul></li><li><a href='#terminology_and_notation'>Terminology and notation</a></li><li><a href='#definition'>Definition</a><ul><li><a href='#local_definition_in_terms_of_representable_functors'>Local definition in terms of representable functors</a><ul><li><a href='#limit_of_a_setvalued_functor'>Limit of a Set-valued functor</a></li><li><a href='#limit_of_a_functor_with_values_in_an_arbitrary_category'>Limit of a functor with values in an arbitrary category</a></li><li><a href='#generalization_to_weighted_limits'>Generalization to weighted limits</a></li><li><a href='#relation_to_continuous_functors'>Relation to continuous functors</a></li></ul></li><li><a href='#definition_in_terms_of_universal_cones'>Definition in terms of universal cones</a><ul><li><a href='#unwrapping'>Unwrapping</a></li></ul></li><li><a href='#global_definition_in_terms_of_adjoint_of_the_constant_diagram_functor'>Global definition in terms of adjoint of the constant diagram functor</a></li><li><a href='#generalizations'>Generalizations</a></li></ul></li><li><a href='#examples'>Examples</a><ul><li><a href='#general'>General</a></li><li><a href='#limits_in_analysis'>Limits in analysis</a></li></ul></li><li><a href='#properties'>Properties</a><ul><li><a href='#ConstructionFromProductsAndEqualizers'>Existence: construction from products and equalizers</a></li><li><a href='#interaction_with_functor'>Interaction with <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_1' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>Hom</mi></mrow><annotation encoding='application/x-tex'>Hom</annotation></semantics></math>-functor</a></li><li><a href='#in_'>In <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_2' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>Set</mi></mrow><annotation encoding='application/x-tex'>Set</annotation></semantics></math></a></li><li><a href='#in_functor_categories'>In functor categories</a></li><li><a href='#CompatibilityAmongUniversalConstructions'>Compatibility with universal constructions</a></li></ul></li><li><a href='#related_concepts'>Related concepts</a></li><li><a href='#references'>References</a></li></ul></div> <h2 id='idea'>Idea</h2> <p>In <a class='existingWikiWord' href='/nlab/show/diff/category+theory'>category theory</a> a limit of a <a class='existingWikiWord' href='/nlab/show/diff/diagram'>diagram</a> <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_3' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi><mo>:</mo><mi>D</mi><mo>→</mo><mi>C</mi></mrow><annotation encoding='application/x-tex'>F : D \to C</annotation></semantics></math> in a <a class='existingWikiWord' href='/nlab/show/diff/category'>category</a> <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_4' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>C</mi></mrow><annotation encoding='application/x-tex'>C</annotation></semantics></math> is an <a class='existingWikiWord' href='/nlab/show/diff/object'>object</a> <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_5' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>lim</mi><mi>F</mi></mrow><annotation encoding='application/x-tex'>lim F</annotation></semantics></math> of <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_6' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>C</mi></mrow><annotation encoding='application/x-tex'>C</annotation></semantics></math> equipped with morphisms to the objects <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_7' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi><mo stretchy='false'>(</mo><mi>d</mi><mo stretchy='false'>)</mo></mrow><annotation encoding='application/x-tex'>F(d)</annotation></semantics></math> for all <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_8' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>d</mi><mo>∈</mo><mi>D</mi></mrow><annotation encoding='application/x-tex'>d \in D</annotation></semantics></math>, such that everything in sight commutes. Moreover, the limit <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_9' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>lim</mi><mi>F</mi></mrow><annotation encoding='application/x-tex'>lim F</annotation></semantics></math> is the <em>universal</em> object with this property, i.e. the “most optimized solution” to the problem of finding such an object.</p> <p>The limit construction has a wealth of applications throughout category theory and mathematics in general. In practice, it is possibly best thought of in the context of <a class='existingWikiWord' href='/nlab/show/diff/representable+functor'>representable functors</a> as a <a class='existingWikiWord' href='/nlab/show/diff/classifying+space'>classifying space</a> for maps into a diagram. So in some sense the limit object <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_10' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>lim</mi><mi>F</mi></mrow><annotation encoding='application/x-tex'>lim F</annotation></semantics></math> “subsumes” the entire diagram <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_11' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi><mo stretchy='false'>(</mo><mi>D</mi><mo stretchy='false'>)</mo></mrow><annotation encoding='application/x-tex'>F(D)</annotation></semantics></math> into a single object, as far as morphisms <em>into</em> it are concerned. The corresponding universal object for morphisms <em>out</em> of the diagram is the <a class='existingWikiWord' href='/nlab/show/diff/colimit'>colimit</a>.</p> <p>An intuitive general idea is that a limit of a diagram is the locus or solution set of a bunch of equations, where each of the coordinates is parametrized by one of the objects of the diagram, and where the equations are prescribed by the morphisms of the diagram. This idea is explained more formally <a href='http://ncatlab.org/nlab/show/limits+and+colimits+by+example#limitsintermsofotherops'>here</a>.</p> <p>Often, the general theory of limits (but not colimits!) works better if the source of <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_12' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi></mrow><annotation encoding='application/x-tex'>F</annotation></semantics></math> is taken to be the <a class='existingWikiWord' href='/nlab/show/diff/opposite+category'>opposite category</a> <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_13' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><msup><mi>D</mi> <mi>op</mi></msup></mrow><annotation encoding='application/x-tex'>D^op</annotation></semantics></math> (or equivalently, if <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_14' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi></mrow><annotation encoding='application/x-tex'>F</annotation></semantics></math> is taken to be a <a class='existingWikiWord' href='/nlab/show/diff/contravariant+functor'>contravariant functor</a>). This is what we do below. In any given situation, of course, you use whatever categories and functors you're interested in.</p> <p>In some cases the category-theoretic notion of limit does reproduce notions of limit as known from analysis. See the examples below.</p> <h3 id='global_versus_local'>Global versus local</h3> <p>In correspondence to the <em>local</em> definition of <a class='existingWikiWord' href='/nlab/show/diff/adjoint+functor'>adjoint functors</a> (as discussed there), there is a <em>local</em> definition of limits (in terms of cones), that defines a limit (if it exists) for each individual diagram, and there is a <em>global</em> definition, which defines the limit for <em>all</em> diagrams (in terms of an <a class='existingWikiWord' href='/nlab/show/diff/adjoint+functor'>adjoint</a>).</p> <p>If all limits over the given shape of diagrams exist in a category, then both definitions are equivalent.</p> <p>See also the analogous discussion at <a class='existingWikiWord' href='/nlab/show/diff/homotopy+limit'>homotopy limit</a>.</p> <h2 id='terminology_and_notation'>Terminology and notation</h2> <p>A limit is taken over a <a class='existingWikiWord' href='/nlab/show/diff/functor'>functor</a> <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_15' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi><mo>:</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>→</mo><mi>C</mi></mrow><annotation encoding='application/x-tex'>F : D^{op} \to C</annotation></semantics></math> and since the functor comes equipped with the information about what its domain is, one can just write <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_16' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>lim</mi><mi>F</mi></mrow><annotation encoding='application/x-tex'>\lim F</annotation></semantics></math> for its limit. But often it is helpful to indicate how the functor is evaluated on objects, in which case the limit is written <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_17' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><msub><mi>lim</mi> <mrow><mi>d</mi><mo>∈</mo><mi>D</mi></mrow></msub><mi>F</mi><mo stretchy='false'>(</mo><mi>d</mi><mo stretchy='false'>)</mo></mrow><annotation encoding='application/x-tex'>\lim_{d \in D} F(d)</annotation></semantics></math>; this is used particularly when <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_18' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi></mrow><annotation encoding='application/x-tex'>F</annotation></semantics></math> is given by a formula (as with other notation with bound variables.)</p> <p>In some schools of mathematics, limits are called <em>projective limits</em>, while colimits are called <em>inductive limits</em>. Also seen are (respectively) <em>inverse limits</em> and <em>direct limits</em>. Both these systems of terminology are alternatives to using ‘co-’ when distinguishing limits and colimits. The first system also appears in <a class='existingWikiWord' href='/nlab/show/diff/pro-object'>pro-object</a> and <a class='existingWikiWord' href='/nlab/show/diff/ind-object'>ind-object</a>.</p> <p>Correspondingly, the symbols <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_19' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><munder><mi>lim</mi><mo>←</mo></munder></mrow><annotation encoding='application/x-tex'>\underset{\leftarrow}lim</annotation></semantics></math> and <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_20' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><munder><mi>lim</mi><mo>→</mo></munder></mrow><annotation encoding='application/x-tex'>\underset{\rightarrow}\lim</annotation></semantics></math> are used instead of <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_21' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>lim</mi></mrow><annotation encoding='application/x-tex'>\lim</annotation></semantics></math> and <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_22' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mo lspace='0em' rspace='thinmathspace'>colim</mo></mrow><annotation encoding='application/x-tex'>\colim</annotation></semantics></math>.</p> <p>Confusingly, many authors restrict the meanings of these alternative terms to (co)limits whose sources are <a class='existingWikiWord' href='/nlab/show/diff/direction'>directed sets</a>; see <a class='existingWikiWord' href='/nlab/show/diff/directed+limit'>directed limit</a>. In fact, this is the original meaning; projective and inductive limits in this sense were studied in algebra before the general category-theoretic notion of (co)limit.</p> <h2 id='definition'>Definition</h2> <h3 id='local_definition_in_terms_of_representable_functors'>Local definition in terms of representable functors</h3> <p>There is a general abstract definition of limits in terms of representable functors, which we describe now. This reproduces the more concrete and maybe more familiar description in terms of universal cones, which is described further below.</p> <p>Let in the following <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_23' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>D</mi></mrow><annotation encoding='application/x-tex'>D</annotation></semantics></math> be a <a class='existingWikiWord' href='/nlab/show/diff/small+category'>small category</a> and <a class='existingWikiWord' href='/nlab/show/diff/Set'>Set</a> the category of sets (possibly realized as the category <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_24' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>U</mi><mi>Set</mi></mrow><annotation encoding='application/x-tex'>U Set</annotation></semantics></math> of <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_25' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>U</mi></mrow><annotation encoding='application/x-tex'>U</annotation></semantics></math>-small sets with respect to a given <a class='existingWikiWord' href='/nlab/show/diff/Grothendieck+universe'>Grothendieck universe</a>.)</p> <h4 id='limit_of_a_setvalued_functor'>Limit of a Set-valued functor</h4> <p>The <strong>limit of a Set-valued functor</strong> <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_26' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi><mo>:</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>→</mo><mi>Set</mi></mrow><annotation encoding='application/x-tex'>F : D^{op} \to Set</annotation></semantics></math> is the <a class='existingWikiWord' href='/nlab/show/diff/hom-set'>hom-set</a></p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_27' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>lim</mi><mi>F</mi><mo>≔</mo><msub><mi>Hom</mi> <mrow><mo stretchy='false'>[</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>,</mo><mi>Set</mi><mo stretchy='false'>]</mo></mrow></msub><mo stretchy='false'>(</mo><mi>pt</mi><mo>,</mo><mi>F</mi><mo stretchy='false'>)</mo><mo>∈</mo><mi>Set</mi></mrow><annotation encoding='application/x-tex'> lim F \coloneqq Hom_{[D^{op}, Set]}(pt, F) \in Set </annotation></semantics></math></div> <p>in the <a class='existingWikiWord' href='/nlab/show/diff/functor+category'>functor category</a> <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_28' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mo stretchy='false'>[</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>,</mo><mi>Set</mi><mo stretchy='false'>]</mo></mrow><annotation encoding='application/x-tex'>[D^{op}, Set]</annotation></semantics></math> (the <a class='existingWikiWord' href='/nlab/show/diff/presheaf'>presheaf</a> category), where</p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_29' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>pt</mi><mo>:</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>→</mo><mi>Set</mi></mrow><annotation encoding='application/x-tex'> pt : D^{op} \to Set </annotation></semantics></math></div><div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_30' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>pt</mi><mo>:</mo><mi>d</mi><mo>↦</mo><mo stretchy='false'>{</mo><mo>*</mo><mo stretchy='false'>}</mo></mrow><annotation encoding='application/x-tex'> pt : d \mapsto \{*\} </annotation></semantics></math></div> <p>is the functor constant on the <a class='existingWikiWord' href='/nlab/show/diff/point'>point</a>, i.e. the <a class='existingWikiWord' href='/nlab/show/diff/terminal+object'>terminal</a> diagram.</p> <p>The set <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_31' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>lim</mi><mi>F</mi></mrow><annotation encoding='application/x-tex'>lim F</annotation></semantics></math> is equivalently called</p> <ul> <li> <p>the set of <del class='diffmod'><em>global sections</em></del><ins class='diffmod'><a class='existingWikiWord' href='/nlab/show/diff/global+section'>global sections</a></ins> of <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_32' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi></mrow><annotation encoding='application/x-tex'>F</annotation></semantics></math>;</p> </li> <li> <p>the set of <a class='existingWikiWord' href='/nlab/show/diff/generalized+element'><span><del class='diffmod'> generalized</del><ins class='diffmod'> global</ins> elements</span></a> of <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_33' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi></mrow><annotation encoding='application/x-tex'>F</annotation></semantics></math>.</p> </li> </ul> <p>The set <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_34' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>lim</mi><mi>F</mi></mrow><annotation encoding='application/x-tex'>lim F</annotation></semantics></math> can be equivalently expressed as an <a class='existingWikiWord' href='/nlab/show/diff/equalizer'>equalizer</a> of a <a class='existingWikiWord' href='/nlab/show/diff/cartesian+product'>product</a>, explicitly:</p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_35' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>lim</mi><mi>F</mi><mo>≃</mo><mrow><mo>{</mo><mo stretchy='false'>(</mo><msub><mi>x</mi> <mi>d</mi></msub><msub><mo stretchy='false'>)</mo> <mrow><mi>d</mi><mo>∈</mo><mi>D</mi></mrow></msub><mo>∈</mo><munder><mo lspace='thinmathspace' rspace='thinmathspace'>∏</mo> <mrow><mi>d</mi><mo>∈</mo><mi>D</mi></mrow></munder><mi>F</mi><mo stretchy='false'>(</mo><mi>d</mi><mo stretchy='false'>)</mo><mo stretchy='false'>|</mo><mo>∀</mo><mo stretchy='false'>(</mo><msub><mi>d</mi> <mi>i</mi></msub><mover><mo>→</mo><mi>α</mi></mover><msub><mi>d</mi> <mi>j</mi></msub><mo stretchy='false'>)</mo><mo>∈</mo><mi>D</mi><mo>:</mo><mi>F</mi><mo stretchy='false'>(</mo><mi>α</mi><mo stretchy='false'>)</mo><mo stretchy='false'>(</mo><msub><mi>x</mi> <mrow><msub><mi>d</mi> <mi>j</mi></msub></mrow></msub><mo stretchy='false'>)</mo><mo>=</mo><msub><mi>x</mi> <mrow><msub><mi>d</mi> <mi>i</mi></msub></mrow></msub><mo>}</mo></mrow></mrow><annotation encoding='application/x-tex'> lim F \simeq \left\lbrace (x_d)_{d \in D} \in \prod_{d \in D} F(d) | \forall (d_i \stackrel{\alpha}{\to} d_j) \in D : F(\alpha)(x_{d_j}) = x_{d_i} \right\rbrace </annotation></semantics></math></div> <p>In particular, the limit of a set-valued functor always exists.</p> <p>Notice the important triviality that the covariant <a class='existingWikiWord' href='/nlab/show/diff/hom-functor'>hom-functor</a> commutes with set-valued limits: for every set <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_36' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>S</mi></mrow><annotation encoding='application/x-tex'>S</annotation></semantics></math> we have a bijection of sets</p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_37' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><msub><mi>Hom</mi> <mi>Set</mi></msub><mo stretchy='false'>(</mo><mi>S</mi><mo>,</mo><mi>lim</mi><mi>F</mi><mo stretchy='false'>)</mo><mo>≃</mo><mi>lim</mi><msub><mi>Hom</mi> <mi>Set</mi></msub><mo stretchy='false'>(</mo><mi>S</mi><mo>,</mo><mi>F</mi><mo stretchy='false'>(</mo><mo lspace='verythinmathspace' rspace='0em'>−</mo><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo><mspace width='thinmathspace' /><mo>,</mo></mrow><annotation encoding='application/x-tex'> Hom_{Set}(S, lim F) \simeq \lim Hom_{Set}(S, F(-)) \,, </annotation></semantics></math></div> <p>where <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_38' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>Hom</mi><mo stretchy='false'>(</mo><mi>S</mi><mo>,</mo><mi>F</mi><mo stretchy='false'>(</mo><mo lspace='verythinmathspace' rspace='0em'>−</mo><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo><mo>:</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>→</mo><mi>Set</mi></mrow><annotation encoding='application/x-tex'>Hom(S, F(-)) : D^{op} \to Set</annotation></semantics></math>.</p> <h4 id='limit_of_a_functor_with_values_in_an_arbitrary_category'>Limit of a functor with values in an arbitrary category</h4> <p>The above formula generalizes straightforwardly to a notion of limit for functors <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_39' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi><mo>:</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>→</mo><mi>C</mi></mrow><annotation encoding='application/x-tex'>F : D^{op} \to C</annotation></semantics></math> for <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_40' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>C</mi></mrow><annotation encoding='application/x-tex'>C</annotation></semantics></math> an arbitrary category if we construct a certain <a class='existingWikiWord' href='/nlab/show/diff/presheaf'>presheaf</a> on <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_41' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>C</mi></mrow><annotation encoding='application/x-tex'>C</annotation></semantics></math> which we will call <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_42' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mover><mi>lim</mi><mo stretchy='false'>^</mo></mover><mi>F</mi></mrow><annotation encoding='application/x-tex'>\hat \lim F</annotation></semantics></math>. The actual limit <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_43' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>lim</mi><mi>F</mi></mrow><annotation encoding='application/x-tex'>lim F</annotation></semantics></math> is then, if it exists, the object of <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_44' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>C</mi></mrow><annotation encoding='application/x-tex'>C</annotation></semantics></math> <a class='existingWikiWord' href='/nlab/show/diff/representable+functor'>representing</a> this presheaf.</p> <p>More precisely, using the <a class='existingWikiWord' href='/nlab/show/diff/Yoneda+embedding'>Yoneda embedding</a> <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_45' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>y</mi><mo>:</mo><mi>C</mi><mo>→</mo><mo stretchy='false'>[</mo><msup><mi>C</mi> <mi>op</mi></msup><mo>,</mo><mi>Set</mi><mo stretchy='false'>]</mo></mrow><annotation encoding='application/x-tex'>y: C \to [C^{op}, Set]</annotation></semantics></math> define for <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_46' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi><mo>:</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>→</mo><mi>C</mi></mrow><annotation encoding='application/x-tex'>F : D^{op} \to C</annotation></semantics></math> the <a class='existingWikiWord' href='/nlab/show/diff/presheaf'>presheaf</a> <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_47' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mover><mi>lim</mi><mo stretchy='false'>^</mo></mover><mi>F</mi><mo>∈</mo><mo stretchy='false'>[</mo><msup><mi>C</mi> <mi>op</mi></msup><mo>,</mo><mi>Set</mi><mo stretchy='false'>]</mo></mrow><annotation encoding='application/x-tex'>\hat \lim F \in [C^{op}, Set]</annotation></semantics></math> by</p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_48' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mo stretchy='false'>(</mo><mover><mi>lim</mi><mo stretchy='false'>^</mo></mover><mi>F</mi><mo stretchy='false'>)</mo><mo stretchy='false'>(</mo><mi>c</mi><mo stretchy='false'>)</mo><mo>≔</mo><msub><mi>Hom</mi> <mrow><msup><mi>Set</mi> <mrow><msup><mi>D</mi> <mi>op</mi></msup></mrow></msup></mrow></msub><mo stretchy='false'>(</mo><mi>pt</mi><mo>,</mo><msub><mi>Hom</mi> <mi>C</mi></msub><mo stretchy='false'>(</mo><mi>c</mi><mo>,</mo><mi>F</mi><mo stretchy='false'>(</mo><mo lspace='verythinmathspace' rspace='0em'>−</mo><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo></mrow><annotation encoding='application/x-tex'> (\hat \lim F)(c)\coloneqq Hom_{Set^{D^{op}}}(pt,Hom_C(c,F(-))) </annotation></semantics></math></div> <p>for all <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_49' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>c</mi><mo>∈</mo><mi>C</mi></mrow><annotation encoding='application/x-tex'>c \in C</annotation></semantics></math>, or suppressing the subscripts for readability:</p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_50' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mo stretchy='false'>(</mo><mover><mi>lim</mi><mo stretchy='false'>^</mo></mover><mi>F</mi><mo stretchy='false'>)</mo><mo stretchy='false'>(</mo><mi>c</mi><mo stretchy='false'>)</mo><mo>=</mo><mi>Hom</mi><mo stretchy='false'>(</mo><mi>pt</mi><mo>,</mo><mi>Hom</mi><mo stretchy='false'>(</mo><mi>c</mi><mo>,</mo><mi>F</mi><mo stretchy='false'>(</mo><mo lspace='verythinmathspace' rspace='0em'>−</mo><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo><mspace width='thinmathspace' /><mo>.</mo></mrow><annotation encoding='application/x-tex'> (\hat lim F)(c) = Hom(pt , Hom(c,F(-))) \,. </annotation></semantics></math></div> <p>The <a class='existingWikiWord' href='/nlab/show/diff/presheaf'>presheaf</a>-valued limit always exists; iff this presheaf is <a class='existingWikiWord' href='/nlab/show/diff/representable+functor'>representable</a> by an object <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_51' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>lim</mi><mi>F</mi></mrow><annotation encoding='application/x-tex'>\lim F</annotation></semantics></math> of <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_52' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>C</mi></mrow><annotation encoding='application/x-tex'>C</annotation></semantics></math>, then this is the <strong>limit</strong> of <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_53' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi></mrow><annotation encoding='application/x-tex'>F</annotation></semantics></math>:</p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_54' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>Hom</mi><mo stretchy='false'>(</mo><mi>c</mi><mo>,</mo><mi>lim</mi><mi>F</mi><mo stretchy='false'>)</mo><mo>≃</mo><mi>Hom</mi><mo stretchy='false'>(</mo><mi>pt</mi><mo>,</mo><mi>Hom</mi><mo stretchy='false'>(</mo><mi>c</mi><mo>,</mo><mi>F</mi><mo stretchy='false'>(</mo><mo lspace='verythinmathspace' rspace='0em'>−</mo><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo><mspace width='thinmathspace' /><mo>.</mo></mrow><annotation encoding='application/x-tex'> Hom(c, \lim F) \simeq Hom(pt, Hom(c,F(-))) \,. </annotation></semantics></math></div> <h4 id='generalization_to_weighted_limits'>Generalization to weighted limits</h4> <p>In the above formulation, there is an evident generalization to <a class='existingWikiWord' href='/nlab/show/diff/weighted+limit'>weighted limits</a>:</p> <p>replace in the above the constant terminal functor <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_55' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>pt</mi><mo>:</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>→</mo><mi>Set</mi></mrow><annotation encoding='application/x-tex'>pt : D^{op} \to Set</annotation></semantics></math> with <em>any</em> functor <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_56' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>W</mi><mo>:</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>→</mo><mi>Set</mi></mrow><annotation encoding='application/x-tex'>W : D^{op} \to Set</annotation></semantics></math> – then called the <em>weight</em> –, then the <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_57' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>W</mi></mrow><annotation encoding='application/x-tex'>W</annotation></semantics></math>-weighted limit of <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_58' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi></mrow><annotation encoding='application/x-tex'>F</annotation></semantics></math></p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_59' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><munder><mi>lim</mi> <mi>W</mi></munder><mi>F</mi></mrow><annotation encoding='application/x-tex'> \lim_W F </annotation></semantics></math></div> <p>often written</p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_60' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mo stretchy='false'>{</mo><mi>W</mi><mo>,</mo><mi>F</mi><mo stretchy='false'>}</mo></mrow><annotation encoding='application/x-tex'> \{W,F\} </annotation></semantics></math></div> <p>is, if it exists, the object representing the presheaf</p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_61' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>c</mi><mo>↦</mo><msub><mi>Hom</mi> <mrow><mo stretchy='false'>[</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>,</mo><mi>Set</mi><mo stretchy='false'>]</mo></mrow></msub><mo stretchy='false'>(</mo><mi>W</mi><mo>,</mo><msub><mi>Hom</mi> <mi>C</mi></msub><mo stretchy='false'>(</mo><mi>c</mi><mo>,</mo><mi>F</mi><mo stretchy='false'>(</mo><mo lspace='verythinmathspace' rspace='0em'>−</mo><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo><mspace width='thinmathspace' /><mo>,</mo></mrow><annotation encoding='application/x-tex'> c \mapsto Hom_{[D^{op}, Set]}(W , Hom_C(c,F(-))) \,, </annotation></semantics></math></div> <p>i.e. such that</p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_62' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>Hom</mi><mo stretchy='false'>(</mo><mi>c</mi><mo>,</mo><munder><mi>lim</mi> <mi>W</mi></munder><mi>F</mi><mo stretchy='false'>)</mo><mo>≃</mo><mi>Hom</mi><mo stretchy='false'>(</mo><mi>W</mi><mo>,</mo><mi>Hom</mi><mo stretchy='false'>(</mo><mi>c</mi><mo>,</mo><mi>F</mi><mo stretchy='false'>(</mo><mo lspace='verythinmathspace' rspace='0em'>−</mo><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo><mspace width='thinmathspace' /></mrow><annotation encoding='application/x-tex'> Hom(c, \lim_W F) \simeq Hom(W, Hom(c,F(-))) \, </annotation></semantics></math></div> <p>naturally in <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_63' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>c</mi><mo>∈</mo><mi>C</mi></mrow><annotation encoding='application/x-tex'>c \in C</annotation></semantics></math>.</p> <h4 id='relation_to_continuous_functors'>Relation to continuous functors</h4> <p>The very definition of limit as above asserts that the covariant <a class='existingWikiWord' href='/nlab/show/diff/hom-functor'>hom-functor</a> <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_64' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>Hom</mi><mo stretchy='false'>(</mo><mi>c</mi><mo>,</mo><mo lspace='verythinmathspace' rspace='0em'>−</mo><mo stretchy='false'>)</mo><mo>:</mo><mi>C</mi><mo>→</mo><mi>Set</mi></mrow><annotation encoding='application/x-tex'>Hom(c,-) : C \to Set</annotation></semantics></math> commutes with forming limits. Indeed, the definition is equivalent to saying that the <a class='existingWikiWord' href='/nlab/show/diff/hom-functor'>hom-functor</a> is a <a class='existingWikiWord' href='/nlab/show/diff/continuous+functor'>continuous functor</a>.</p> <h3 id='definition_in_terms_of_universal_cones'>Definition in terms of universal cones</h3> <p>Unwrapping the above abstract definition of limits yields the following more hands-on description in terms of universal cones.</p> <h4 id='unwrapping'>Unwrapping</h4> <p>Let <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_65' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi><mo>:</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>→</mo><mi>C</mi></mrow><annotation encoding='application/x-tex'>F : D^{op} \to C</annotation></semantics></math> be a functor.</p> <p>Notice that for every object <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_66' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>c</mi><mo>∈</mo><mi>C</mi></mrow><annotation encoding='application/x-tex'>c \in C</annotation></semantics></math> an element</p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_67' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mo>*</mo><mo>→</mo><mi>Hom</mi><mo stretchy='false'>(</mo><mi>pt</mi><mo>,</mo><mi>Hom</mi><mo stretchy='false'>(</mo><mi>c</mi><mo>,</mo><mi>F</mi><mo stretchy='false'>(</mo><mo lspace='verythinmathspace' rspace='0em'>−</mo><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo></mrow><annotation encoding='application/x-tex'> * \to Hom(pt, Hom(c, F(-))) </annotation></semantics></math></div> <p>is to be identified with a collection of morphisms</p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_68' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>c</mi><mo>→</mo><mi>F</mi><mo stretchy='false'>(</mo><mi>d</mi><mo stretchy='false'>)</mo></mrow><annotation encoding='application/x-tex'> c \to F(d) </annotation></semantics></math></div> <p>for all <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_69' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>d</mi><mo>∈</mo><mi>D</mi></mrow><annotation encoding='application/x-tex'>d \in D</annotation></semantics></math>, such that all triangles</p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_70' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mrow><mtable><mtr><mtd /> <mtd /> <mtd><mi>c</mi></mtd></mtr> <mtr><mtd /> <mtd><mo>↙</mo></mtd> <mtd /> <mtd><mo>↘</mo></mtd></mtr> <mtr><mtd><mi>F</mi><mo stretchy='false'>(</mo><msub><mi>d</mi> <mi>i</mi></msub><mo stretchy='false'>)</mo></mtd> <mtd /> <mtd><mover><mo>→</mo><mrow><mi>F</mi><mo stretchy='false'>(</mo><mi>f</mi><mo stretchy='false'>)</mo></mrow></mover></mtd> <mtd /> <mtd><mi>F</mi><mo stretchy='false'>(</mo><msub><mi>d</mi> <mi>j</mi></msub><mo stretchy='false'>)</mo></mtd></mtr></mtable></mrow></mrow><annotation encoding='application/x-tex'> \array{ && c \\ & \swarrow && \searrow \\ F(d_i) && \stackrel{F(f)}{\to} && F(d_j) } </annotation></semantics></math></div> <p>commute. Such a collection of morphisms is called a <strong>cone</strong> over <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_71' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi></mrow><annotation encoding='application/x-tex'>F</annotation></semantics></math>, for the obvious reason.</p> <p>If the limit <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_72' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>lim</mi><mi>F</mi><mo>∈</mo><mi>C</mi></mrow><annotation encoding='application/x-tex'>\lim F \in C</annotation></semantics></math> of <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_73' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi></mrow><annotation encoding='application/x-tex'>F</annotation></semantics></math> exist, then it singles out a special cone given by the composite morphism</p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_74' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mo>*</mo><mover><mo>→</mo><mrow><mo>*</mo><mo>↦</mo><msub><mi>Id</mi> <mrow><mi>lim</mi><mi>F</mi></mrow></msub></mrow></mover><msub><mi>Hom</mi> <mi>C</mi></msub><mo stretchy='false'>(</mo><mi>lim</mi><mi>F</mi><mo>,</mo><mi>lim</mi><mi>F</mi><mo stretchy='false'>)</mo><mover><mo>→</mo><mo>≃</mo></mover><mi>Hom</mi><mo stretchy='false'>(</mo><mi>pt</mi><mo>,</mo><mi>Hom</mi><mo stretchy='false'>(</mo><mi>lim</mi><mi>F</mi><mo>,</mo><mi>F</mi><mo stretchy='false'>(</mo><mo lspace='verythinmathspace' rspace='0em'>−</mo><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo><mspace width='thinmathspace' /><mo>,</mo></mrow><annotation encoding='application/x-tex'> * \stackrel{* \mapsto Id_{\lim F}}{\to} Hom_C(\lim F, \lim F) \stackrel{\simeq}{\to} Hom(pt, Hom(\lim F, F(-))) \,, </annotation></semantics></math></div> <p>where the first morphism picks the <a class='existingWikiWord' href='/nlab/show/diff/identity+morphism'>identity morphism</a> on <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_75' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>lim</mi><mi>F</mi></mrow><annotation encoding='application/x-tex'>\lim F</annotation></semantics></math> and the second one is the defining bijection of a limit as above.</p> <p>The cone</p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_76' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mrow><mtable><mtr><mtd /> <mtd /> <mtd><mi>lim</mi><mi>F</mi></mtd></mtr> <mtr><mtd /> <mtd><mo>↙</mo></mtd> <mtd /> <mtd><mo>↘</mo></mtd></mtr> <mtr><mtd><mi>F</mi><mo stretchy='false'>(</mo><msub><mi>d</mi> <mi>i</mi></msub><mo stretchy='false'>)</mo></mtd> <mtd /> <mtd><mover><mo>→</mo><mrow><mi>F</mi><mo stretchy='false'>(</mo><mi>f</mi><mo stretchy='false'>)</mo></mrow></mover></mtd> <mtd /> <mtd><mi>F</mi><mo stretchy='false'>(</mo><msub><mi>d</mi> <mi>j</mi></msub><mo stretchy='false'>)</mo></mtd></mtr></mtable></mrow></mrow><annotation encoding='application/x-tex'> \array{ && \lim F \\ & \swarrow && \searrow \\ F(d_i) && \stackrel{F(f)}{\to} && F(d_j) } </annotation></semantics></math></div> <p>is called the <strong>universal cone</strong> over <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_77' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi></mrow><annotation encoding='application/x-tex'>F</annotation></semantics></math>, because, again by the defining property of limit as above, every cone <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_78' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mo stretchy='false'>{</mo><mi>c</mi><mo>→</mo><mi>F</mi><mo stretchy='false'>(</mo><mi>d</mi><mo stretchy='false'>)</mo><msub><mo stretchy='false'>}</mo> <mrow><mi>d</mi><mo>∈</mo><mi>D</mi></mrow></msub></mrow><annotation encoding='application/x-tex'>\{c \to F(d)\}_{d \in D}</annotation></semantics></math> as above is bijectively related to a morphism <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_79' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>c</mi><mo>→</mo><mi>lim</mi><mi>F</mi></mrow><annotation encoding='application/x-tex'>c \to \lim F</annotation></semantics></math></p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_80' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mo>*</mo><mover><mo>→</mo><mrow><mo stretchy='false'>{</mo><mi>c</mi><mo>→</mo><mi>F</mi><mo stretchy='false'>(</mo><mi>d</mi><mo stretchy='false'>)</mo><msub><mo stretchy='false'>}</mo> <mrow><mi>d</mi><mo>∈</mo><mi>D</mi></mrow></msub></mrow></mover><mi>Hom</mi><mo stretchy='false'>(</mo><mi>pt</mi><mo>,</mo><mi>Hom</mi><mo stretchy='false'>(</mo><mi>c</mi><mo>,</mo><mi>F</mi><mo stretchy='false'>(</mo><mo lspace='verythinmathspace' rspace='0em'>−</mo><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo><mover><mo>→</mo><mo>≃</mo></mover><mi>Hom</mi><mo stretchy='false'>(</mo><mi>c</mi><mo>,</mo><mi>lim</mi><mi>F</mi><mo stretchy='false'>)</mo><mspace width='thinmathspace' /><mo>.</mo></mrow><annotation encoding='application/x-tex'> * \stackrel{\{c \to F(d)\}_{d \in D}}{\to} Hom(pt, Hom(c, F(-))) \stackrel{\simeq}{\to} Hom(c, \lim F) \,. </annotation></semantics></math></div> <p>By inspection one finds that, indeed, the morphism <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_81' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>c</mi><mo>→</mo><mi>lim</mi><mi>F</mi></mrow><annotation encoding='application/x-tex'>c \to \lim F</annotation></semantics></math> is the morphism which exhibits the factorization of the cone <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_82' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mo stretchy='false'>{</mo><mi>c</mi><mo>→</mo><mi>F</mi><mo stretchy='false'>(</mo><mi>d</mi><mo stretchy='false'>)</mo><msub><mo stretchy='false'>}</mo> <mrow><mi>d</mi><mo>∈</mo><mi>D</mi></mrow></msub></mrow><annotation encoding='application/x-tex'>\{c \to F(d)\}_{d \in D}</annotation></semantics></math> through the universal limit cone</p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_83' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mrow><mtable><mtr><mtd /> <mtd /> <mtd><mi>c</mi></mtd></mtr> <mtr><mtd /> <mtd><mo>↙</mo></mtd> <mtd /> <mtd><mo>↘</mo></mtd></mtr> <mtr><mtd><mi>F</mi><mo stretchy='false'>(</mo><msub><mi>d</mi> <mi>i</mi></msub><mo stretchy='false'>)</mo></mtd> <mtd /> <mtd><mover><mo>→</mo><mrow><mi>F</mi><mo stretchy='false'>(</mo><mi>f</mi><mo stretchy='false'>)</mo></mrow></mover></mtd> <mtd /> <mtd><mi>F</mi><mo stretchy='false'>(</mo><msub><mi>d</mi> <mi>j</mi></msub><mo stretchy='false'>)</mo></mtd></mtr></mtable></mrow><mo>=</mo><mrow><mtable><mtr><mtd /> <mtd /> <mtd><mi>c</mi></mtd></mtr> <mtr><mtd /> <mtd /> <mtd><mo stretchy='false'>↓</mo></mtd></mtr> <mtr><mtd /> <mtd /> <mtd><mi>lim</mi><mi>F</mi></mtd></mtr> <mtr><mtd /> <mtd><mo>↙</mo></mtd> <mtd /> <mtd><mo>↘</mo></mtd></mtr> <mtr><mtd><mi>F</mi><mo stretchy='false'>(</mo><msub><mi>d</mi> <mi>i</mi></msub><mo stretchy='false'>)</mo></mtd> <mtd /> <mtd><mover><mo>→</mo><mrow><mi>F</mi><mo stretchy='false'>(</mo><mi>f</mi><mo stretchy='false'>)</mo></mrow></mover></mtd> <mtd /> <mtd><mi>F</mi><mo stretchy='false'>(</mo><msub><mi>d</mi> <mi>j</mi></msub><mo stretchy='false'>)</mo></mtd></mtr></mtable></mrow><mspace width='thinmathspace' /><mo>.</mo></mrow><annotation encoding='application/x-tex'> \array{ && c \\ & \swarrow && \searrow \\ F(d_i) && \stackrel{F(f)}{\to} && F(d_j) } = \array{ && c \\ && \downarrow \\ && \lim F \\ & \swarrow && \searrow \\ F(d_i) && \stackrel{F(f)}{\to} && F(d_j) } \,. </annotation></semantics></math></div> <p>An illustrative example is the following: a limit of the <a class='existingWikiWord' href='/nlab/show/diff/identity+functor'>identity functor</a> <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_84' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><msub><mi>Id</mi> <mi>c</mi></msub><mo>:</mo><mi>C</mi><mo>→</mo><mi>C</mi></mrow><annotation encoding='application/x-tex'>Id_c:C\to C</annotation></semantics></math> is, if it exists, an <a class='existingWikiWord' href='/nlab/show/diff/initial+object'>initial object</a> of <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_85' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>C</mi></mrow><annotation encoding='application/x-tex'>C</annotation></semantics></math>.</p> <h3 id='global_definition_in_terms_of_adjoint_of_the_constant_diagram_functor'>Global definition in terms of adjoint of the constant diagram functor</h3> <p>Given categories <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_86' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>D</mi></mrow><annotation encoding='application/x-tex'>D</annotation></semantics></math> and <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_87' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>C</mi></mrow><annotation encoding='application/x-tex'>C</annotation></semantics></math>, limits over functors <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_88' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><msup><mi>D</mi> <mi>op</mi></msup><mo>→</mo><mi>C</mi></mrow><annotation encoding='application/x-tex'>D^{op} \to C</annotation></semantics></math> may exist for some functors, but not for all. If it does exist for all functors, then the above <em>local definition</em> of limits is equivalent to the following <em>global definition</em>.</p> <p>For <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_89' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>D</mi></mrow><annotation encoding='application/x-tex'>D</annotation></semantics></math> a <a class='existingWikiWord' href='/nlab/show/diff/small+category'>small category</a> and <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_90' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>C</mi></mrow><annotation encoding='application/x-tex'>C</annotation></semantics></math> any category, the <a class='existingWikiWord' href='/nlab/show/diff/functor+category'>functor category</a> <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_91' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mo stretchy='false'>[</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>,</mo><mi>C</mi><mo stretchy='false'>]</mo></mrow><annotation encoding='application/x-tex'>[D^{op},C]</annotation></semantics></math> is the category of <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_92' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>D</mi></mrow><annotation encoding='application/x-tex'>D</annotation></semantics></math>-<a class='existingWikiWord' href='/nlab/show/diff/diagram'>diagrams</a> in <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_93' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>C</mi></mrow><annotation encoding='application/x-tex'>C</annotation></semantics></math>. Pullback along the functor <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_94' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><msup><mi>D</mi> <mi>op</mi></msup><mo>→</mo><mi>pt</mi></mrow><annotation encoding='application/x-tex'>D^{op} \to pt</annotation></semantics></math> to the <a class='existingWikiWord' href='/nlab/show/diff/terminal+object'>terminal</a> category <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_95' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>pt</mi><mo>=</mo><mo stretchy='false'>{</mo><mo>•</mo><mo stretchy='false'>}</mo></mrow><annotation encoding='application/x-tex'>pt = \{\bullet\}</annotation></semantics></math> induces a functor</p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_96' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>const</mi><mo>:</mo><mi>C</mi><mo>→</mo><mo stretchy='false'>[</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>,</mo><mi>C</mi><mo stretchy='false'>]</mo></mrow><annotation encoding='application/x-tex'> const : C \to [D^{op},C] </annotation></semantics></math></div> <p>which sends every object of <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_97' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>C</mi></mrow><annotation encoding='application/x-tex'>C</annotation></semantics></math> to the diagram functor constant on this object.</p> <p>The <a class='existingWikiWord' href='/nlab/show/diff/adjoint+functor'>left adjoint</a></p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_98' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><msub><mi>colim</mi> <mi>D</mi></msub><mo>:</mo><mo stretchy='false'>[</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>,</mo><mi>C</mi><mo stretchy='false'>]</mo><mo>→</mo><mi>C</mi></mrow><annotation encoding='application/x-tex'> colim_D : [D^{op},C] \to C </annotation></semantics></math></div> <p>of this functor is, if it exists, the functor which sends every diagram to its <a class='existingWikiWord' href='/nlab/show/diff/colimit'>colimit</a> and the <a class='existingWikiWord' href='/nlab/show/diff/adjoint+functor'>right adjoint</a> is, if it exists, the functor</p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_99' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><msub><mi>lim</mi> <mi>D</mi></msub><mo>:</mo><mo stretchy='false'>[</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>,</mo><mi>C</mi><mo stretchy='false'>]</mo><mo>→</mo><mi>C</mi></mrow><annotation encoding='application/x-tex'> lim_D : [D^{op},C] \to C </annotation></semantics></math></div> <p>which sends every diagram to its <a class='existingWikiWord' href='/nlab/show/diff/limit'>limit</a>. The Hom-isomorphisms of these <a class='existingWikiWord' href='/nlab/show/diff/adjunction'>adjunctions</a> state precisely the universal property of <a class='existingWikiWord' href='/nlab/show/diff/limit'>limit</a> and <a class='existingWikiWord' href='/nlab/show/diff/colimit'>colimit</a> given above.</p> <p>Concretely this means that for all <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_100' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>c</mi><mo>∈</mo><mi>C</mi></mrow><annotation encoding='application/x-tex'>c \in C</annotation></semantics></math> we have a bijection</p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_101' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><msub><mi>Hom</mi> <mi>C</mi></msub><mo stretchy='false'>(</mo><mi>c</mi><mo>,</mo><mi>lim</mi><mi>F</mi><mo stretchy='false'>)</mo><mo>≃</mo><msub><mi>Hom</mi> <mrow><mo stretchy='false'>[</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>,</mo><mi>C</mi><mo stretchy='false'>]</mo></mrow></msub><mo stretchy='false'>(</mo><msub><mi>const</mi> <mi>c</mi></msub><mo>,</mo><mi>F</mi><mo stretchy='false'>)</mo><mspace width='thinmathspace' /><mo>.</mo></mrow><annotation encoding='application/x-tex'> Hom_C(c, \lim F) \simeq Hom_{[D^{op},C]}(const_c, F) \,. </annotation></semantics></math></div> <p>From this perspective, a limit is a special case of a <a class='existingWikiWord' href='/nlab/show/diff/Kan+extension'>Kan extension</a>, as described there, namely a Kan extension to the <a class='existingWikiWord' href='/nlab/show/diff/point'>point</a>.</p> <h3 id='generalizations'>Generalizations</h3> <p>The notion of limit, being fundamental to <a class='existingWikiWord' href='/nlab/show/diff/category+theory'>category theory</a>, generalizes to many other situations. Examples include the following.</p> <ul> <li>In <a class='existingWikiWord' href='/nlab/show/diff/enriched+category+theory'>enriched category theory</a> one has the notion of <a class='existingWikiWord' href='/nlab/show/diff/weighted+limit'>weighted limit</a>. This makes sense in ordinary category theory as well, but it turns out that in that case all weighted limits reduce to ordinary “conical” ones.</li> <li>Weighted limits generalize further to the notion of limit in a <a class='existingWikiWord' href='/nlab/show/diff/2-category+equipped+with+proarrows'>2-category equipped with proarrows</a>, or to a <a class='existingWikiWord' href='/nlab/show/diff/Yoneda+structure'>Yoneda structure</a>.</li> <li>In <a class='existingWikiWord' href='/nlab/show/diff/2-category+theory'>2-category theory</a> one has the notion of a <a class='existingWikiWord' href='/nlab/show/diff/2-limit'>2-limit</a>.</li> <li>Similarly, in <a class='existingWikiWord' href='/nlab/show/diff/%28infinity%2C1%29-category'>(infinity,1)-category</a> theory there is a notion of a limit. Using quasicategories as a model for <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_102' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mo stretchy='false'>(</mo><mn>∞</mn><mo>,</mo><mn>1</mn><mo stretchy='false'>)</mo></mrow><annotation encoding='application/x-tex'>(\infty,1)</annotation></semantics></math>-categories, the definition is a straightforward extension of the one as a terminal cone: it is simply a <a class='existingWikiWord' href='/nlab/show/diff/terminal+object+in+a+quasi-category'>quasi-categorical terminal object</a> in the quasicategory of cones. See <a class='existingWikiWord' href='/nlab/show/diff/%28%E2%88%9E%2C1%29-limit'>limit in quasi-categories</a>.</li> <li>One expects that similarly, all sorts of <a class='existingWikiWord' href='/nlab/show/diff/higher+category+theory'>higher categories</a> have their own appropriate notions of limit and colimit.</li> </ul> <h2 id='examples'>Examples</h2> <p>The central point about examples of limits is:</p> <p><em>Categorical limits are ubiquitous</em>.</p> <p>To a fair extent, <a class='existingWikiWord' href='/nlab/show/diff/category+theory'>category theory</a> is all about limits and the other <a class='existingWikiWord' href='/nlab/show/diff/universal+construction'>universal constructions</a>: <a class='existingWikiWord' href='/nlab/show/diff/Kan+extension'>Kan extensions</a>, <a class='existingWikiWord' href='/nlab/show/diff/adjoint+functor'>adjoint functors</a>, <a class='existingWikiWord' href='/nlab/show/diff/representable+functor'>representable functors</a>, which are all special cases of limits – and limits are special cases of these.</p> <p>Listing examples of limits in <a class='existingWikiWord' href='/nlab/show/diff/category+theory'>category theory</a> is much like listing examples of <a class='existingWikiWord' href='/nlab/show/diff/integral'>integrals</a> in <a class='existingWikiWord' href='/nlab/show/diff/analysis'>analysis</a>: one can and does fill books with these. (In fact, that analogy has more to it than meets the casual eye: see <a class='existingWikiWord' href='/nlab/show/diff/end'>coend</a> for more).</p> <p>Keeping that in mind, we do list some special cases and special classes of examples that are useful to know. But any list is necessarily wildly incomplete.</p> <h3 id='general'>General</h3> <ul> <li>For a pedagogical list of examples see <a class='existingWikiWord' href='/nlab/show/diff/limits+and+colimits+by+example'>limits and colimits by example</a>.</li> </ul> <p>Here are some important examples of limits, classified by the shape of the <a class='existingWikiWord' href='/nlab/show/diff/diagram'>diagram</a>:</p> <ul> <li>A limit of the <a class='existingWikiWord' href='/nlab/show/diff/empty+set'>empty diagram</a> is a <a class='existingWikiWord' href='/nlab/show/diff/terminal+object'>terminal object</a>.</li> <li>A limit of a diagram consisting of two (or more) objects and no nontrivial morphisms is their <a class='existingWikiWord' href='/nlab/show/diff/cartesian+product'>product</a>.</li> <li>A limit of a <a class='existingWikiWord' href='/nlab/show/diff/cospan'>cospan</a> is a <a class='existingWikiWord' href='/nlab/show/diff/pullback'>pullback</a>.</li> <li>A limit of a pair (or more) of <a class='existingWikiWord' href='/nlab/show/diff/parallel+morphisms'>parallel morphisms</a> is an <a class='existingWikiWord' href='/nlab/show/diff/equalizer'>equalizer</a>.</li> <li>A limit over a <a class='existingWikiWord' href='/nlab/show/diff/finite+category'>finite category</a> is a <a class='existingWikiWord' href='/nlab/show/diff/finite+limit'>finite limit</a>.</li> <li>Another important “shape” of limits are those that give rise to <a class='existingWikiWord' href='/nlab/show/diff/end'>ends</a>.</li> <li>A limit of a diagram <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_103' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi><mo>:</mo><mi>D</mi><mo>→</mo><mi>C</mi></mrow><annotation encoding='application/x-tex'>F : D \to C</annotation></semantics></math> for which <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_104' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>D</mi></mrow><annotation encoding='application/x-tex'>D</annotation></semantics></math> admits an <a class='existingWikiWord' href='/nlab/show/diff/initial+object'>initial object</a> <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_105' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>I</mi></mrow><annotation encoding='application/x-tex'>I</annotation></semantics></math>, is simply <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_106' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi><mo stretchy='false'>(</mo><mi>I</mi><mo stretchy='false'>)</mo></mrow><annotation encoding='application/x-tex'>F(I)</annotation></semantics></math>.</li> </ul> <h3 id='limits_in_analysis'>Limits in analysis</h3> <p>The concept of <a class='existingWikiWord' href='/nlab/show/diff/convergence'>limit of a sequence</a> in <a class='existingWikiWord' href='/nlab/show/diff/topological+space'>topological spaces</a> is a special case of category theoretic limits, see <a href='limit+of+a+sequence#RelationToLimitsInCategoryTheory'>there</a>.</p> <h2 id='properties'>Properties</h2> <h3 id='ConstructionFromProductsAndEqualizers'>Existence: construction from products and equalizers</h3> <p>Frequently some limits can be computed in terms of other limits. This makes things easier since we only have to assume that categories have, or functors preserve, some easier-to-verify class of limits in order to obtain results about a larger one.</p> <p>The most common example of this is the computation of limits in terms of products and equalizers. Specifically, if the limit of <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_107' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi><mo>:</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>→</mo><mi>C</mi></mrow><annotation encoding='application/x-tex'>F : D^{op} \to C</annotation></semantics></math> and the <a class='existingWikiWord' href='/nlab/show/diff/cartesian+product'>products</a> <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_108' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><msub><mo lspace='thinmathspace' rspace='thinmathspace'>∏</mo> <mrow><mi>d</mi><mo>∈</mo><mi>Obj</mi><mo stretchy='false'>(</mo><mi>D</mi><mo stretchy='false'>)</mo></mrow></msub><mi>F</mi><mo stretchy='false'>(</mo><mi>d</mi><mo stretchy='false'>)</mo></mrow><annotation encoding='application/x-tex'>\prod_{d\in Obj(D)} F(d)</annotation></semantics></math> and <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_109' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><msub><mo lspace='thinmathspace' rspace='thinmathspace'>∏</mo> <mrow><mi>f</mi><mo>∈</mo><mi>Mor</mi><mi>d</mi></mrow></msub><mi>F</mi><mo stretchy='false'>(</mo><mi>s</mi><mo stretchy='false'>(</mo><mi>f</mi><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo></mrow><annotation encoding='application/x-tex'>\prod_{f\in Mor{d}} F(s(f))</annotation></semantics></math> all exist, then <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_110' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>lim</mi><mi>F</mi></mrow><annotation encoding='application/x-tex'>lim F</annotation></semantics></math> is a <a class='existingWikiWord' href='/nlab/show/diff/subobject'>subobject</a> of <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_111' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><msub><mo lspace='thinmathspace' rspace='thinmathspace'>∏</mo> <mrow><mi>d</mi><mo>∈</mo><mi>Obj</mi><mo stretchy='false'>(</mo><mi>D</mi><mo stretchy='false'>)</mo></mrow></msub><mi>F</mi><mo stretchy='false'>(</mo><mi>d</mi><mo stretchy='false'>)</mo></mrow><annotation encoding='application/x-tex'>\prod_{d\in Obj(D)} F(d)</annotation></semantics></math>, namely the <a class='existingWikiWord' href='/nlab/show/diff/equalizer'>equalizer</a> of</p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_112' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><munder><mo lspace='thinmathspace' rspace='thinmathspace'>∏</mo> <mrow><mi>d</mi><mo>∈</mo><mi>Obj</mi><mo stretchy='false'>(</mo><mi>D</mi><mo stretchy='false'>)</mo></mrow></munder><mi>F</mi><mo stretchy='false'>(</mo><mi>d</mi><mo stretchy='false'>)</mo><mover><mo>→</mo><mrow><munder><mo lspace='thinmathspace' rspace='thinmathspace'>∏</mo> <mrow><mi>f</mi><mo>∈</mo><mi>Mor</mi><mo stretchy='false'>(</mo><mi>d</mi><mo stretchy='false'>)</mo></mrow></munder><mo stretchy='false'>(</mo><mi>F</mi><mo stretchy='false'>(</mo><mi>f</mi><mo stretchy='false'>)</mo><mo>∘</mo><msub><mi>p</mi> <mrow><mi>s</mi><mo stretchy='false'>(</mo><mi>f</mi><mo stretchy='false'>)</mo></mrow></msub><mo stretchy='false'>)</mo></mrow></mover><munder><mo lspace='thinmathspace' rspace='thinmathspace'>∏</mo> <mrow><mi>f</mi><mo>∈</mo><mi>Mor</mi><mo stretchy='false'>(</mo><mi>D</mi><mo stretchy='false'>)</mo></mrow></munder><mi>F</mi><mo stretchy='false'>(</mo><mi>s</mi><mo stretchy='false'>(</mo><mi>f</mi><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo></mrow><annotation encoding='application/x-tex'> \prod_{d \in Obj(D)} F(d) \stackrel{\prod_{f \in Mor(d)} (F(f) \circ p_{s(f)}) }{\to} \prod_{f \in Mor(D)} F(s(f)) </annotation></semantics></math></div> <p>and</p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_113' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><munder><mo lspace='thinmathspace' rspace='thinmathspace'>∏</mo> <mrow><mi>d</mi><mo>∈</mo><mi>Obj</mi><mo stretchy='false'>(</mo><mi>D</mi><mo stretchy='false'>)</mo></mrow></munder><mi>F</mi><mo stretchy='false'>(</mo><mi>d</mi><mo stretchy='false'>)</mo><mover><mo>→</mo><mrow><munder><mo lspace='thinmathspace' rspace='thinmathspace'>∏</mo> <mrow><mi>f</mi><mo>∈</mo><mi>Mor</mi><mo stretchy='false'>(</mo><mi>d</mi><mo stretchy='false'>)</mo></mrow></munder><mo stretchy='false'>(</mo><msub><mi>p</mi> <mrow><mi>t</mi><mo stretchy='false'>(</mo><mi>f</mi><mo stretchy='false'>)</mo></mrow></msub><mo stretchy='false'>)</mo></mrow></mover><munder><mo lspace='thinmathspace' rspace='thinmathspace'>∏</mo> <mrow><mi>f</mi><mo>∈</mo><mi>Mor</mi><mo stretchy='false'>(</mo><mi>D</mi><mo stretchy='false'>)</mo></mrow></munder><mi>F</mi><mo stretchy='false'>(</mo><mi>s</mi><mo stretchy='false'>(</mo><mi>f</mi><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo><mspace width='thinmathspace' /><mo>.</mo></mrow><annotation encoding='application/x-tex'> \prod_{d \in Obj(D)} F(d) \stackrel{\prod_{f \in Mor(d)} (p_{t(f)}) }{\to} \prod_{f \in Mor(D)} F(s(f)) \,. </annotation></semantics></math></div> <p>Conversely, if both of these products exist and so does the equalizer of this pair of maps, then that equalizer is a limit of <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_114' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi></mrow><annotation encoding='application/x-tex'>F</annotation></semantics></math>. In particular, therefore, a category has all limits as soon as it has all products and equalizers, and a functor defined on such a category <a class='existingWikiWord' href='/nlab/show/diff/preserved+limit'>preserves</a> all limits as soon as it preserves products and equalizers.</p> <p>(More precisely, it suffices only to consider equalizers of <a class='existingWikiWord' href='/nlab/show/diff/reflexive+coequalizer'>reflexive pairs</a>.)</p> <p>Another example is that all <a class='existingWikiWord' href='/nlab/show/diff/finite+limit'>finite limits</a> can be computed in terms of <a class='existingWikiWord' href='/nlab/show/diff/pullback'>pullbacks</a> and a <a class='existingWikiWord' href='/nlab/show/diff/terminal+object'>terminal object</a>.</p> <h3 id='interaction_with_functor'>Interaction with <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_115' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>Hom</mi></mrow><annotation encoding='application/x-tex'>Hom</annotation></semantics></math>-functor</h3> <div class='num_prop'> <h6 id='proposition'>Proposition</h6> <p><strong>(<a class='existingWikiWord' href='/nlab/show/diff/hom-functor+preserves+limits'>hom-functor preserves limits</a>)</strong></p> <p>For <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_116' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>C</mi></mrow><annotation encoding='application/x-tex'>C</annotation></semantics></math> a <a class='existingWikiWord' href='/nlab/show/diff/locally+small+category'>locally small</a> category, for <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_117' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi><mo>:</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>→</mo><mi>C</mi></mrow><annotation encoding='application/x-tex'>F : D^{op} \to C</annotation></semantics></math> a functor and writing <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_118' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>C</mi><mo stretchy='false'>(</mo><mi>c</mi><mo>,</mo><mi>F</mi><mo stretchy='false'>(</mo><mo lspace='verythinmathspace' rspace='0em'>−</mo><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo><mo>:</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>→</mo><mi>Set</mi></mrow><annotation encoding='application/x-tex'>C(c, F(-)) : D^{op} \to Set</annotation></semantics></math>, we have</p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_119' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>C</mi><mo stretchy='false'>(</mo><mi>c</mi><mo>,</mo><mi>lim</mi><mi>F</mi><mo stretchy='false'>)</mo><mo>≃</mo><mi>lim</mi><mi>C</mi><mo stretchy='false'>(</mo><mi>c</mi><mo>,</mo><mi>F</mi><mo stretchy='false'>(</mo><mo lspace='verythinmathspace' rspace='0em'>−</mo><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo><mspace width='thinmathspace' /><mo>.</mo></mrow><annotation encoding='application/x-tex'> C(c, lim F) \simeq lim C(c, F(-)) \,. </annotation></semantics></math></div></div> <p>Depending on how one introduces limits this holds by definition or is an easy consequence.</p> <h3 id='in_'>In <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_120' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>Set</mi></mrow><annotation encoding='application/x-tex'>Set</annotation></semantics></math></h3> <div class='num_prop'> <h6 id='limits_in_set_are_homsets'>Limits in Set are hom-sets</h6> <p>For <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_121' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi><mo>:</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>→</mo><mi>Set</mi></mrow><annotation encoding='application/x-tex'>F : D^{op} \to Set</annotation></semantics></math> any functor and <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_122' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><msub><mi>const</mi> <mo>*</mo></msub><mo>:</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>→</mo><mi>Set</mi></mrow><annotation encoding='application/x-tex'>const_{*} : D^{op} \to Set</annotation></semantics></math> the functor constant on the <a class='existingWikiWord' href='/nlab/show/diff/point'>point</a>, the limit of <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_123' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi></mrow><annotation encoding='application/x-tex'>F</annotation></semantics></math> is the <a class='existingWikiWord' href='/nlab/show/diff/hom-set'>hom-set</a></p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_124' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>lim</mi><mi>F</mi><mo>≃</mo><mo stretchy='false'>[</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>,</mo><mi>Set</mi><mo stretchy='false'>]</mo><mo stretchy='false'>(</mo><msub><mi>const</mi> <mo>*</mo></msub><mo>,</mo><mi>F</mi><mo stretchy='false'>)</mo></mrow><annotation encoding='application/x-tex'> lim F \simeq [D^{op}, Set](const_{*}, F) </annotation></semantics></math></div> <p>in the <a class='existingWikiWord' href='/nlab/show/diff/functor+category'>functor category</a>, i.e. the set of <a class='existingWikiWord' href='/nlab/show/diff/natural+transformation'>natural transformations</a> from the constant functor into <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_125' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi></mrow><annotation encoding='application/x-tex'>F</annotation></semantics></math>.</p> </div> <h3 id='in_functor_categories'>In functor categories</h3> <div class='un_prop'> <h6 id='proposition_2'>Proposition</h6> <p><strong>(limits in functor categories are computed pointwise)</strong></p> <p>Let <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_126' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>D</mi></mrow><annotation encoding='application/x-tex'>D</annotation></semantics></math> be a small category and let <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_127' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>D</mi><mo>′</mo></mrow><annotation encoding='application/x-tex'>D'</annotation></semantics></math> be any category. Let <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_128' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>C</mi></mrow><annotation encoding='application/x-tex'>C</annotation></semantics></math> be a category which admits limits of shape <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_129' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>D</mi></mrow><annotation encoding='application/x-tex'>D</annotation></semantics></math>. Write <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_130' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mo stretchy='false'>[</mo><mi>D</mi><mo>′</mo><mo>,</mo><mi>C</mi><mo stretchy='false'>]</mo></mrow><annotation encoding='application/x-tex'>[D',C]</annotation></semantics></math> for the <a class='existingWikiWord' href='/nlab/show/diff/functor+category'>functor category</a>. Then</p> <ul> <li><math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_131' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mo stretchy='false'>[</mo><mi>D</mi><mo>′</mo><mo>,</mo><mi>C</mi><mo stretchy='false'>]</mo></mrow><annotation encoding='application/x-tex'>[D',C]</annotation></semantics></math> admits <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_132' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>D</mi></mrow><annotation encoding='application/x-tex'>D</annotation></semantics></math>-shaped limits;</li> <li>these limits are computed objectwise (“pointwise”) in <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_133' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>C</mi></mrow><annotation encoding='application/x-tex'>C</annotation></semantics></math>: for <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_134' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi><mo>:</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>→</mo><mo stretchy='false'>[</mo><mi>D</mi><mo>′</mo><mo>,</mo><mi>C</mi><mo stretchy='false'>]</mo></mrow><annotation encoding='application/x-tex'>F : D^{op} \to [D',C]</annotation></semantics></math> a functor we have for all <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_135' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>d</mi><mo>′</mo><mo>∈</mo><mi>D</mi><mo>′</mo></mrow><annotation encoding='application/x-tex'>d' \in D'</annotation></semantics></math> that <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_136' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mo stretchy='false'>(</mo><mi>lim</mi><mi>F</mi><mo stretchy='false'>)</mo><mo stretchy='false'>(</mo><mi>d</mi><mo>′</mo><mo stretchy='false'>)</mo><mo>≃</mo><mi>lim</mi><mo stretchy='false'>(</mo><mi>F</mi><mo stretchy='false'>(</mo><mo lspace='verythinmathspace' rspace='0em'>−</mo><mo stretchy='false'>)</mo><mo stretchy='false'>(</mo><mi>d</mi><mo>′</mo><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo></mrow><annotation encoding='application/x-tex'>(lim F)(d') \simeq lim (F(-)(d'))</annotation></semantics></math>. Here the limit on the right is in <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_137' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>C</mi></mrow><annotation encoding='application/x-tex'>C</annotation></semantics></math>.</li> </ul> </div> <h3 id='CompatibilityAmongUniversalConstructions'>Compatibility with universal constructions</h3> <div class='num_prop' id='RightAdjointsPreserveLimits'> <h6 id='proposition_3'>Proposition</h6> <p><strong>(<a class='existingWikiWord' href='/nlab/show/diff/adjoints+preserve+%28co-%29limits'>right adjoints preserve limits</a>)</strong></p> <p>Let <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_138' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>R</mi><mspace width='thickmathspace' /><mo lspace='verythinmathspace'>:</mo><mspace width='thickmathspace' /><mi>C</mi><mo>→</mo><mi>C</mi><mo>′</mo></mrow><annotation encoding='application/x-tex'>R \;\colon\; C \to C'</annotation></semantics></math> be a <a class='existingWikiWord' href='/nlab/show/diff/functor'>functor</a> that is <a class='existingWikiWord' href='/nlab/show/diff/right+adjoint'>right adjoint</a> to some functor <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_139' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>L</mi><mo>:</mo><mi>C</mi><mo>′</mo><mo>→</mo><mi>C</mi></mrow><annotation encoding='application/x-tex'>L : C' \to C</annotation></semantics></math>. Let <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_140' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>D</mi></mrow><annotation encoding='application/x-tex'>D</annotation></semantics></math> be a <a class='existingWikiWord' href='/nlab/show/diff/small+category'>small category</a> such that <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_141' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>C</mi></mrow><annotation encoding='application/x-tex'>C</annotation></semantics></math> admits <a class='existingWikiWord' href='/nlab/show/diff/limit'>limits</a> of shape <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_142' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>D</mi></mrow><annotation encoding='application/x-tex'>D</annotation></semantics></math>. Then <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_143' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>R</mi></mrow><annotation encoding='application/x-tex'>R</annotation></semantics></math> <a class='existingWikiWord' href='/nlab/show/diff/preserved+limit'>commutes with</a> <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_144' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>D</mi></mrow><annotation encoding='application/x-tex'>D</annotation></semantics></math>-shaped limits in <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_145' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>C</mi></mrow><annotation encoding='application/x-tex'>C</annotation></semantics></math> in that</p> <p>for <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_146' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi><mo>:</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>→</mo><mi>C</mi></mrow><annotation encoding='application/x-tex'>F : D^{op} \to C</annotation></semantics></math> some diagram, we have</p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_147' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>R</mi><mo stretchy='false'>(</mo><mi>lim</mi><mi>F</mi><mo stretchy='false'>)</mo><mo>≃</mo><mi>lim</mi><mo stretchy='false'>(</mo><mi>R</mi><mo>∘</mo><mi>F</mi><mo stretchy='false'>)</mo><mspace width='thinmathspace' /><mo>.</mo></mrow><annotation encoding='application/x-tex'> R(lim F) \simeq lim (R \circ F) \,. </annotation></semantics></math></div></div> <div class='proof'> <h6 id='proof'>Proof</h6> <p>Using the adjunction isomorphism and the above fact that <a class='existingWikiWord' href='/nlab/show/diff/hom-functor+preserves+limits'>hom-functor preserves limits</a>, one obtains for every <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_148' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>c</mi><mo>′</mo><mo>∈</mo><mi>C</mi><mo>′</mo></mrow><annotation encoding='application/x-tex'>c' \in C'</annotation></semantics></math></p> <div class='maruku-equation'><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_149' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mrow><mtable columnalign='right left right left right left right left right left' columnspacing='0em' displaystyle='true'><mtr><mtd><mi>C</mi><mo>′</mo><mo stretchy='false'>(</mo><mi>c</mi><mo>′</mo><mo>,</mo><mi>R</mi><mo stretchy='false'>(</mo><mi>lim</mi><mi>F</mi><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo></mtd> <mtd><mo>≃</mo><mi>C</mi><mo stretchy='false'>(</mo><mi>L</mi><mo stretchy='false'>(</mo><mi>c</mi><mo>′</mo><mo stretchy='false'>)</mo><mo>,</mo><mi>lim</mi><mi>F</mi><mo stretchy='false'>)</mo></mtd></mtr> <mtr><mtd /> <mtd><mo>≃</mo><mi>lim</mi><mi>C</mi><mo stretchy='false'>(</mo><mi>L</mi><mo stretchy='false'>(</mo><mi>c</mi><mo>′</mo><mo stretchy='false'>)</mo><mo>,</mo><mi>F</mi><mo stretchy='false'>)</mo></mtd></mtr> <mtr><mtd /> <mtd><mo>≃</mo><mi>lim</mi><mi>C</mi><mo>′</mo><mo stretchy='false'>(</mo><mi>c</mi><mo>′</mo><mo>,</mo><mi>R</mi><mo>∘</mo><mi>F</mi><mo stretchy='false'>)</mo></mtd></mtr> <mtr><mtd /> <mtd><mo>≃</mo><mi>C</mi><mo>′</mo><mo stretchy='false'>(</mo><mi>c</mi><mo>′</mo><mo>,</mo><mi>lim</mi><mo stretchy='false'>(</mo><mi>R</mi><mo>∘</mo><mi>F</mi><mo stretchy='false'>)</mo><mo stretchy='false'>)</mo><mspace width='thinmathspace' /><mo>.</mo></mtd></mtr></mtable></mrow><mspace width='thinmathspace' /><mo>.</mo></mrow><annotation encoding='application/x-tex'> \begin{aligned} C'(c', R (lim F)) & \simeq C(L(c'), lim F) \\ & \simeq lim C(L(c'), F) \\ & \simeq lim C'(c', R\circ F) \\ & \simeq C'(c', lim (R \circ F)) \,. \end{aligned} \,. </annotation></semantics></math></div> <p>Since this holds naturally for every <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_150' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>c</mi><mo>′</mo></mrow><annotation encoding='application/x-tex'>c'</annotation></semantics></math>, the <a class='existingWikiWord' href='/nlab/show/diff/Yoneda+lemma'>Yoneda lemma, corollary II</a> on uniqueness of representing objects implies that <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_151' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>R</mi><mo stretchy='false'>(</mo><mi>lim</mi><mi>F</mi><mo stretchy='false'>)</mo><mo>≃</mo><mi>lim</mi><mo stretchy='false'>(</mo><mi>R</mi><mo>∘</mo><mi>F</mi><mo stretchy='false'>)</mo></mrow><annotation encoding='application/x-tex'>R (lim F) \simeq lim (R \circ F)</annotation></semantics></math>.</p> </div> <div class='num_prop' id='LimitsCommuteWithLimits'> <h6 id='proposition_4'>Proposition</h6> <p><strong>(<a class='existingWikiWord' href='/nlab/show/diff/limits+commute+with+limits'>limits commute with limits</a>)</strong></p> <p>Let <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_152' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>D</mi></mrow><annotation encoding='application/x-tex'>D</annotation></semantics></math> and <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_153' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>D</mi><mo>′</mo></mrow><annotation encoding='application/x-tex'>D'</annotation></semantics></math> be <a class='existingWikiWord' href='/nlab/show/diff/small+category'>small categories</a> and let <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_154' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>C</mi></mrow><annotation encoding='application/x-tex'>C</annotation></semantics></math> be a category which admits <a class='existingWikiWord' href='/nlab/show/diff/limit'>limits</a> of shape <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_155' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>D</mi></mrow><annotation encoding='application/x-tex'>D</annotation></semantics></math> as well as <a class='existingWikiWord' href='/nlab/show/diff/limit'>limits</a> of shape <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_156' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>D</mi><mo>′</mo></mrow><annotation encoding='application/x-tex'>D'</annotation></semantics></math>. Then these limits commute with each other, in that for <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_157' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>F</mi><mo>:</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>×</mo><msup><mrow><mi>D</mi><mo>′</mo></mrow> <mi>op</mi></msup><mo>→</mo><mi>C</mi></mrow><annotation encoding='application/x-tex'>F : D^{op} \times {D'}^{op} \to C</annotation></semantics></math> a <a class='existingWikiWord' href='/nlab/show/diff/functor'>functor</a> , with corresponding induced functors <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_158' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><msub><mi>F</mi> <mi>D</mi></msub><mo>:</mo><msup><mrow><mi>D</mi><mo>′</mo></mrow> <mi>op</mi></msup><mo>→</mo><mo stretchy='false'>[</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>,</mo><mi>C</mi><mo stretchy='false'>]</mo></mrow><annotation encoding='application/x-tex'>F_D : {D'}^{op} \to [D^{op},C]</annotation></semantics></math> and <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_159' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><msub><mi>F</mi> <mrow><mi>D</mi><mo>′</mo></mrow></msub><mo>:</mo><msup><mi>D</mi> <mi>op</mi></msup><mo>→</mo><mo stretchy='false'>[</mo><msup><mrow><mi>D</mi><mo>′</mo></mrow> <mi>op</mi></msup><mo>,</mo><mi>C</mi><mo stretchy='false'>]</mo></mrow><annotation encoding='application/x-tex'>F_{D'} : {D}^{op} \to [{D'}^{op},C]</annotation></semantics></math>, then the canonical comparison morphism</p> <div class='maruku-equation' id='eq:ComparisonMorphismForCommutingLimits'><span class='maruku-eq-number'>(1)</span><math class='maruku-mathml' display='block' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_160' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>lim</mi><mi>F</mi><mo>≃</mo><msub><mi>lim</mi> <mi>D</mi></msub><mo stretchy='false'>(</mo><msub><mi>lim</mi> <mrow><mi>D</mi><mo>′</mo></mrow></msub><msub><mi>F</mi> <mi>D</mi></msub><mo stretchy='false'>)</mo><mo>≃</mo><msub><mi>lim</mi> <mrow><mi>D</mi><mo>′</mo></mrow></msub><mo stretchy='false'>(</mo><msub><mi>lim</mi> <mi>D</mi></msub><msub><mi>F</mi> <mrow><mi>D</mi><mo>′</mo></mrow></msub><mo stretchy='false'>)</mo></mrow><annotation encoding='application/x-tex'> lim F \simeq lim_{D} (lim_{D'} F_D ) \simeq lim_{D'} (lim_{D} F_{D'} ) </annotation></semantics></math></div> <p>is an <a class='existingWikiWord' href='/nlab/show/diff/isomorphism'>isomorphism</a>.</p> </div> <div class='proof'> <h6 id='proof_2'>Proof</h6> <p>Since the <a class='existingWikiWord' href='/nlab/show/diff/limit'>limit</a>-construction is the <a class='existingWikiWord' href='/nlab/show/diff/right+adjoint'>right adjoint</a> functor to the <a class='existingWikiWord' href='/nlab/show/diff/constant+functor'>constant</a> <a class='existingWikiWord' href='/nlab/show/diff/diagram'>diagram</a>-functor, this is a special case of <em><a class='existingWikiWord' href='/nlab/show/diff/adjoints+preserve+%28co-%29limits'>right adjoints preserve limits</a></em> (Prop. <a class='maruku-ref' href='#RightAdjointsPreserveLimits'>3</a>).</p> </div> <p>See <a class='existingWikiWord' href='/nlab/show/diff/limits+and+colimits+by+example'>limits and colimits by example</a> for what formula <a class='maruku-eqref' href='#eq:ComparisonMorphismForCommutingLimits'>(1)</a> says for instance for the special case <math class='maruku-mathml' display='inline' id='mathml_2fe8773e70a2a5517849ffa7e90f6b854ee9c606_161' xmlns='http://www.w3.org/1998/Math/MathML'><semantics><mrow><mi>C</mi><mo>=</mo></mrow><annotation encoding='application/x-tex'>C =</annotation></semantics></math> <a class='existingWikiWord' href='/nlab/show/diff/Set'>Set</a>.</p> <div class='num_remark'> <h6 id='remark'>Remark</h6> <p><strong>(general non-commutativity of limits with colimits)</strong></p> <p>In general limits do <em>not</em> commute with <a class='existingWikiWord' href='/nlab/show/diff/colimit'>colimits</a>. But under a number of special conditions of interest they do. Special cases and concrete examples are discussed at <em><a class='existingWikiWord' href='/nlab/show/diff/commutativity+of+limits+and+colimits'>commutativity of limits and colimits</a></em>.</p> </div> <h2 id='related_concepts'>Related concepts</h2> <ul> <li> <p><strong>limit</strong></p> <ul> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/internal+%28co-%29limit'>internal limit</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/colimit'>colimit</a>, <a class='existingWikiWord' href='/nlab/show/diff/universal+construction'>universal construction</a>, <a class='existingWikiWord' href='/nlab/show/diff/Kan+extension'>Kan extension</a>, <a class='existingWikiWord' href='/nlab/show/diff/end'>end</a>, <a class='existingWikiWord' href='/nlab/show/diff/end'>coend</a></p> </li> </ul> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/2-limit'>2-limit</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/%28%E2%88%9E%2C1%29-limit'>(∞,1)-limit</a></p> <ul> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/homotopy+limit'>homotopy limit</a></p> </li> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/lim%5E1+and+Milnor+sequences'>lim^1 and Milnor sequences</a></p> </li> </ul> </li> </ul> <h2 id='references'>References</h2> <p>Limits and <a class='existingWikiWord' href='/nlab/show/diff/colimit'>colimits</a> were defined in <a class='existingWikiWord' href='/nlab/show/diff/Daniel+Kan'>Daniel M. Kan</a> in Chapter II of the paper that also defined <a class='existingWikiWord' href='/nlab/show/diff/adjoint+functor'>adjoint functors</a> and <a class='existingWikiWord' href='/nlab/show/diff/Kan+extension'>Kan extensions</a>:</p> <ul> <li><a class='existingWikiWord' href='/nlab/show/diff/Daniel+Kan'>Daniel M. Kan</a>, <em>Adjoint functors</em>, Transactions of the American Mathematical Society 87:2 (1958), 294–294 (<a href='https://doi.org/10.1090/s0002-9947-1958-0131451-0'>doi:10.1090/s0002-9947-1958-0131451-0</a>)</li> </ul> <p>This paper refers to limits as <em>inverse limits</em>.</p> <p>The observation that limits can be constructed from <a class='existingWikiWord' href='/nlab/show/diff/cartesian+product'>products</a> and <a class='existingWikiWord' href='/nlab/show/diff/equalizer'>equalisers</a> is due to:</p> <ul> <li><a class='existingWikiWord' href='/nlab/show/diff/Jean-Marie+Maranda'>J.-M. Maranda</a>, <em>Some remarks on limits in categories</em>. Canadian Mathematical Bulletin <strong>5</strong> 2 (1962) 133-146 [[doi:10.4153/CMB-1962-015-0](https://doi.org/10.4153/CMB-1962-015-0)]</li> </ul> <p>That, more generally, it suffices to consider only equalisers of <a class='existingWikiWord' href='/nlab/show/diff/reflexive+coequalizer'>reflexive pairs</a> is due to:</p> <ul> <li> <p><a class='existingWikiWord' href='/nlab/show/diff/Ernest+Manes'>Ernest Manes</a>, <em>A triple miscellany: Some aspects of the theory of algebra over a triple</em>, PhD thesis, Wesleyan University, 1967. [[pdf](https://github.com/CategoryTheoryArchive/archive/blob/main/resources/1967_manes_triple-miscellany.pdf)]</p> </li> <li> <p>S. A. Huq and R. Cornu. <em>A remark on the existence of limits in categories</em>. Mathematische Nachrichten 55.1‐6 (1973): 223-224. [doi:10.1002/mana.19730550111]</p> </li> </ul> <p>Textbook accounts:</p> <ul> <li><a class='existingWikiWord' href='/nlab/show/diff/Saunders+Mac+Lane'>Saunders MacLane</a>, §III.4 of: <em><a class='existingWikiWord' href='/nlab/show/diff/Categories+for+the+Working+Mathematician'>Categories for the Working Mathematician</a></em>, Graduate Texts in Mathematics <strong>5</strong> Springer (second ed. 1997) [[doi:10.1007/978-1-4757-4721-8](https://link.springer.com/book/10.1007/978-1-4757-4721-8)]</li> </ul> <p> </p> <p> </p> <p> </p> <p> </p> </div> <div class="revisedby"> <p> Last revised on July 28, 2024 at 08:20:15. See the <a href="/nlab/history/limit" style="color: #005c19">history</a> of this page for a list of all contributions to it. </p> </div> <div class="navigation navfoot"> <a href="/nlab/edit/limit" accesskey="E" class="navlink" id="edit" rel="nofollow">Edit</a><a href="https://nforum.ncatlab.org/discussion/8611/#Item_14">Discuss</a><span class="backintime"><a href="/nlab/revision/diff/limit/90" accesskey="B" class="navlinkbackintime" id="to_previous_revision" rel="nofollow">Previous revision</a></span><a href="/nlab/show/limit" accesskey="C" class="navlink" id="see_changes" rel="nofollow">Hide changes</a><a href="/nlab/history/limit" accesskey="S" class="navlink" id="history" rel="nofollow">History (90 revisions)</a> <a href="/nlab/show/limit/cite" style="color: black">Cite</a> <a href="/nlab/print/limit" accesskey="p" id="view_print" rel="nofollow">Print</a> <a href="/nlab/source/limit" id="view_source" rel="nofollow">Source</a> </div> </div>  </div>  </body> </html>