https://en.formulasearchengine.com/index.php?title=Hereditary_ring&feed=atom&action=history
Hereditary ring - Revision history
2024-03-29T08:55:41Z
Revision history for this page on the wiki
MediaWiki 1.42.0-wmf.5
https://en.formulasearchengine.com/index.php?title=Hereditary_ring&diff=13828&oldid=prev
en>ÄDA - DÄP: /* References */
2013-08-05T05:20:00Z
<p><span dir="auto"><span class="autocomment">References</span></span></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 06:20, 5 August 2013</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">Hello</del>, <del style="font-weight: bold; text-decoration: none;">my title </del>is <del style="font-weight: bold; text-decoration: none;">Andrew </del>and <del style="font-weight: bold; text-decoration: none;">my spouse doesn</del>'<del style="font-weight: bold; text-decoration: none;">t like </del>it at <del style="font-weight: bold; text-decoration: none;">all</del>. <del style="font-weight: bold; text-decoration: none;">Her family lives </del>in <del style="font-weight: bold; text-decoration: none;">Alaska but her husband wants them </del>to <del style="font-weight: bold; text-decoration: none;">move</del>. <del style="font-weight: bold; text-decoration: none;">The preferred pastime </del>for <del style="font-weight: bold; text-decoration: none;">him </del>and <del style="font-weight: bold; text-decoration: none;">his children </del>is <del style="font-weight: bold; text-decoration: none;">to play lacross </del>and <del style="font-weight: bold; text-decoration: none;">he would </del>by no means <del style="font-weight: bold; text-decoration: none;">give </del>it <del style="font-weight: bold; text-decoration: none;">up</del>. <del style="font-weight: bold; text-decoration: none;">Credit authorising </del>is <del style="font-weight: bold; text-decoration: none;">how she tends </del>to <del style="font-weight: bold; text-decoration: none;">make </del>a <del style="font-weight: bold; text-decoration: none;">residing</del>.<<del style="font-weight: bold; text-decoration: none;">br</del>><<del style="font-weight: bold; text-decoration: none;">br</del>><del style="font-weight: bold; text-decoration: none;">My web blog </del>... <del style="font-weight: bold; text-decoration: none;">online psychics </del>([http://www.<del style="font-weight: bold; text-decoration: none;">january-yjm</del>.<del style="font-weight: bold; text-decoration: none;">com</del>/<del style="font-weight: bold; text-decoration: none;">xe</del>/<del style="font-weight: bold; text-decoration: none;">index</del>.<del style="font-weight: bold; text-decoration: none;">php?mid</del>=<del style="font-weight: bold; text-decoration: none;">video&document_srl</del>=<del style="font-weight: bold; text-decoration: none;">158289 simply click the next site</del>]<del style="font-weight: bold; text-decoration: none;">)</del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">In [[category theory]], the '''nerve''' ''N''(''C'') of a [[small category]] ''C'' is a [[simplicial set]] constructed from the objects and morphisms of ''C''. The [[geometric realization]] of this simplicial set is a [[topological space]], called the '''classifying space of the category''' ''C''. These closely related objects can provide information about some familiar and useful categories using [[algebraic topology]], most often [[homotopy theory]].</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">==Motivation==</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">The nerve of a category is often used to construct topological versions of [[moduli space]]s. If ''X'' is an object of ''C'', its moduli space should somehow encode all objects isomorphic to ''X'' and keep track of the various isomorphisms between all of these objects in that category. This can become rather complicated, especially if the objects have many non-identity automorphisms. The nerve provides a combinatorial way of organizing this data. Since simplicial sets have a good homotopy theory, one can ask questions about the meaning of the various homotopy groups &pi;<sub>n</sub>(''N''(''C'')). One hopes that the answers to such questions provide interesting information about the original category ''C'', or about related categories.</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">The notion of nerve is a direct generalization of the classical notion of [[classifying space]] of a discrete group; see below for details.</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">==Construction==</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Let ''C'' be a small category. It is easy to define the sets ''N''(''C'')<sub>k</sub> for small ''k'', which leads to the general definition. In particular</ins>, <ins style="font-weight: bold; text-decoration: none;">there is a 0-simplex of ''N''(''C'') for each object of ''C''. There </ins>is <ins style="font-weight: bold; text-decoration: none;">a 1-simplex for each morphism ''f'': ''x'' &rarr; ''y'' in ''C''. Now suppose that ''f'': ''x'' &rarr; ''y'' </ins>and '<ins style="font-weight: bold; text-decoration: none;">'g'': ''y'' &rarr; ''z'' are morphisms in ''C''. Then we also have their composition ''gf'': ''x'' &rarr; ''z''. [[Image:Nerve-2-simplex.png|thumb|right|A 2-simplex.]] The diagram suggests our course of action: add a 2-simplex for this commutative triangle. Every 2-simplex of ''N''(''C'') comes from a pair of composable morphisms in this way. Note that the addition of these 2-simplices does not erase or otherwise disregard morphisms obtained by composition, </ins>it <ins style="font-weight: bold; text-decoration: none;">merely remembers that that is how they arise.</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">In general, ''N''(''C'')<sub>k</sub> consists of the ''k''-tuples of composable morphisms</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">:<math>A_0 \to A_1 \to A_2 \cdots \to A_{k-1} \to A_k</math></ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">of ''C''. To complete the definition of ''N''(''C'') as a simplicial set, we must also specify the face and degeneracy maps. These are also provided to us by the structure of ''C'' as a category. The face maps</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">:<math>d_i \colon N(C)_k\to N(C)_{k-1}</math></ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">are given by composition of morphisms at the ''i''th object (or removing the ''i''th object from the sequence, when ''i'' is 0 or ''k'').<ref>The ''i''th face of the simplex is then the one missing the ''i''th vertex.</ref> This means that ''d''<sub>''i''</sub> sends the ''k''-tuple</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">:<math>A_0 \to \ldots \to A_{i-1} \to A_i \to A_{i+1} \to \ldots \to A_k</math></ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">to the (''k''-1)-tuple</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">:<math>A_0 \to \ldots \to A_{i-1} \to A_{i+1} \to \ldots \to A_k</math>.</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">That is, the map ''d''<sub>''i''</sub> composes the morphisms ''A''<sub>''i''-1</sub> &rarr; ''A''<sub>i</sub> and ''A''<sub>''i''</sub> &rarr; ''A''<sub>''i''+1</sub> into the morphism ''A''<sub>''i''-1</sub> &rarr; ''A''<sub>''i''+1</sub>, yielding a (''k''&minus;1)-tuple for every ''k''-tuple.</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Similarly, the degeneracy maps</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">:<math>s_i:N(C)_k\to N(C)_{k+1}</math></ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">are given by inserting an identity morphism </ins>at <ins style="font-weight: bold; text-decoration: none;">the object ''A''<sub>''i''</sub>.</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Recall that simplicial sets may also be regarded as [[functors]] &Delta;<sup>op</sup> &rarr; '''Set''', where &Delta; is the category of totally ordered finite sets and order-preserving morphisms</ins>. <ins style="font-weight: bold; text-decoration: none;">Every partially ordered set ''P'' yields a (small) category ''i''(''P'') with objects the elements of ''P'' and with a unique morphism from ''p'' to ''q'' whenever ''p'' &le; ''q'' </ins>in <ins style="font-weight: bold; text-decoration: none;">''P''. We thus obtain a functor ''i'' from the category &Delta; </ins>to <ins style="font-weight: bold; text-decoration: none;">the category of small categories. We can now describe the nerve of the category ''C'' as the functor &Delta;<sup>op</sup> &rarr; '''Set'''</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">:<math>N(C)(?) = \mathrm{Fun}(i(?),C)</math></ins>.</div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">This description of the nerve makes functoriality quite transparent; </ins>for <ins style="font-weight: bold; text-decoration: none;">example, a functor between small categories ''C'' </ins>and <ins style="font-weight: bold; text-decoration: none;">''D'' induces a map of simplicial sets ''N''(''C'') &rarr; ''N''(''D''). Moreover a natural transformation between two such functors induces a homotopy between the induced maps. This observation can be regarded as the beginning of one of the principles of [[higher category theory]]. It follows that [[adjoint functor]]s induce [[homotopy equivalence]]s. In particular, if ''C'' has an [[initial object|initial]] or [[final object]], its nerve is contractible.</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">==Examples==</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">The primordial example </ins>is <ins style="font-weight: bold; text-decoration: none;">the classifying space of a discrete group ''G''. We regard ''G'' as a category with one object whose endomorphisms are the elements of ''G''. Then the ''k''-simplices of ''N''(''G'') are just ''k''-tuples of elements of ''G''. The face maps act by multiplication, </ins>and <ins style="font-weight: bold; text-decoration: none;">the degeneracy maps act </ins>by <ins style="font-weight: bold; text-decoration: none;">insertion of the identity element. If ''G'' is the group with two elements, then there is exactly one nondegenerate ''k''-simplex for each nonnegative integer ''k'', corresponding to the unique ''k''-tuple of elements of ''G'' containing </ins>no <ins style="font-weight: bold; text-decoration: none;">identities. After passing to the geometric realization, it is not hard to see that this ''k''-tuple can be identified with the unique ''k''-cell in the usual [[CW complex|CW]] structure on infinite-dimensional [[real projective space]]. The latter is the most popular model for the classifying space of the group with two elements. See (Segal 1968) for further details and the relationship of the above to Milnor's join construction of ''BG''.</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">===Most spaces are classifying spaces===</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">It is well known that every "reasonable" topological space is homeomorphic to the classifying space of a small category. Here, "reasonable" </ins>means <ins style="font-weight: bold; text-decoration: none;">that the space in question is the geometric realization of a simplicial set. This is obviously a necessary condition; it is perhaps surprising that </ins>it <ins style="font-weight: bold; text-decoration: none;">is also sufficient</ins>. <ins style="font-weight: bold; text-decoration: none;">Indeed, let ''X'' be the geometric realization of a simplicial set ''K''. The set of simplices in ''K'' </ins>is <ins style="font-weight: bold; text-decoration: none;">partially ordered, by the relation ''x'' &le; ''y'' if and only if ''x'' is a face of ''y''. Of course, we may consider this partially ordered set as a category. The nerve of this category is the [[barycentric subdivision]] of ''K'', and thus its realization is homeomorphic to ''X'', because ''X'' is the realization of ''K'' by hypothesis and barycentric subdivision does not change the homeomorphism type of the realization.</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">===The nerve of an open covering===</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">{{Main|Nerve of an open covering}}</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">If ''X'' is a topological space with open cover ''U''<sub>''i''</sub>, the [[nerve of an open covering|nerve of the cover]] is obtained from the above definitions by replacing the cover with the category obtained by regarding the cover as a partially ordered set with relation that of set inclusion. Note that the realization of this nerve is not generally homeomorphic to ''X'' (or even homotopy equivalent).</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">===A moduli example===</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">One can use the nerve construction </ins>to <ins style="font-weight: bold; text-decoration: none;">recover mapping spaces, and even get "higher-homotopical" information about maps. Let ''D'' be a category, and let ''X'' and ''Y'' be objects of ''D''. One is often interested in computing the set of morphisms ''X'' &rarr; ''Y''. We can use </ins>a <ins style="font-weight: bold; text-decoration: none;">nerve construction to recover this set</ins>. <ins style="font-weight: bold; text-decoration: none;">Let ''C'' = ''C''(''X'',''Y'') be the category whose objects are diagrams</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">:</ins><<ins style="font-weight: bold; text-decoration: none;">math</ins>><ins style="font-weight: bold; text-decoration: none;">X \longleftarrow U \longrightarrow V \longleftarrow Y</ins><<ins style="font-weight: bold; text-decoration: none;">/math</ins>></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">such that the morphisms ''U'' &rarr; ''X'' and ''Y'' &rarr; ''V'' are isomorphisms in ''D''. Morphisms in ''C''(''X'',''Y'') are diagrams of the following shape:</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[Image:Mappings-as-moduli.png]]</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Here, the indicated maps are to be isomorphisms or identities. The nerve of ''C''(''X'',''Y'') is the [[moduli space]] of maps ''X'' &rarr; ''Y''. In the appropriate [[model category]] setting, this moduli space is weak homotopy equivalent to the simplicial set of morphisms of ''D'' from ''X'' to ''Y''.</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">==References==</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">{{reflist}}</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* Blanc, D., W.G. Dwyer, and P</ins>.<ins style="font-weight: bold; text-decoration: none;">G</ins>. <ins style="font-weight: bold; text-decoration: none;">Goerss. "The realization space of a <math>\Pi</math>-algebra: a moduli problem in algebraic topology</ins>.<ins style="font-weight: bold; text-decoration: none;">" Topology 43 </ins>(<ins style="font-weight: bold; text-decoration: none;">2004), no. 4, 857-892.</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* Goerss, P.G., and M.J. Hopkins. "</ins>[http://www.<ins style="font-weight: bold; text-decoration: none;">math.northwestern</ins>.<ins style="font-weight: bold; text-decoration: none;">edu</ins>/<ins style="font-weight: bold; text-decoration: none;">~pgoerss</ins>/<ins style="font-weight: bold; text-decoration: none;">papers/sum</ins>.<ins style="font-weight: bold; text-decoration: none;">pdf Moduli spaces of commutative ring spectra]." ''Structured ring spectra'', 151-200, London Math. Soc. Lecture Note Ser., 315, Cambridge Univ. Press, Cambridge, 2004.</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* Segal, Graeme. "Classifying spaces and spectral sequences." Inst. Hautes Études Sci. Publ. Math. No. 34 (1968) 105-112.</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* {{nlab|id</ins>=<ins style="font-weight: bold; text-decoration: none;">nerve|title</ins>=<ins style="font-weight: bold; text-decoration: none;">Nerve}}</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[Category:Category theory]]</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[Category:Simplicial sets]</ins>]</div></td></tr>
</table>
en>ÄDA - DÄP
https://en.formulasearchengine.com/index.php?title=Hereditary_ring&diff=248509&oldid=prev
Deltahedron: /* Properties */ cite Reiner
2012-07-28T18:54:48Z
<p><span dir="auto"><span class="autocomment">Properties: </span> cite Reiner</span></p>
<p><b>New page</b></p><div>Hello, my title is Andrew and my spouse doesn't like it at all. Her family lives in Alaska but her husband wants them to move. The preferred pastime for him and his children is to play lacross and he would by no means give it up. Credit authorising is how she tends to make a residing.<br><br>My web blog ... online psychics ([http://www.january-yjm.com/xe/index.php?mid=video&document_srl=158289 simply click the next site])</div>
Deltahedron