https://wiki.tiffa.net/w/index.php?action=history&feed=atom&title=Item%3AQ6117 2026-05-26T08:02:12Z Revision history for this page on the wiki MediaWiki 1.43.0 https://wiki.tiffa.net/w/index.php?title=Item:Q6117&diff=28042&oldid=prev 2023-03-30T23:17:15Z

<p>‎<span dir="auto"><span class="autocomment">Created claim: </span></span> <a href="/wiki/Property:P333" title="‎defining formula‎ | ‎mathematical formula representing a theorem or law. Maximum length: 400 characters‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">defining formula</span> <span class="wb-itemlink-id">(P333)</span></span></a>: g\text{ is right inverse of }f \iff f \circ g= \operatorname{id}</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 08:17, 31 March 2023</td> </tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P333" href="/wiki/Property:P333">defining formula</a></td></tr><tr><td colspan="2"> </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;"><span><h4 class="wb-details wb-math-details wb-math-rendered"><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle g{\text{ is right inverse of }}f\iff f\circ g=\operatorname {id} }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>g</mi> <mrow class="MJX-TeXAtom-ORD"> <mtext>&#xA0;is right inverse of&#xA0;</mtext> </mrow> <mi>f</mi> <mspace width="thickmathspace" /> <mo stretchy="false">&#x27FA;<!-- ⟺ --></mo> <mspace width="thickmathspace" /> <mi>f</mi> <mo>&#x2218;<!-- ∘ --></mo> <mi>g</mi> <mo>=</mo> <mi>id</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle g{\text{ is right inverse of }}f\iff f\circ g=\operatorname {id} }</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/63f7f959f617aa1a96d8ba2c729416bfe74d24c2" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:37.237ex; height:2.509ex;" alt="{\displaystyle g{\text{ is right inverse of }}f\iff f\circ g=\operatorname {id} }"></span></h4><div class="wb-details wb-math-details"><code>g\text{ is right inverse of }f \iff f \circ g= \operatorname{id}</code></div></span></ins></div></td></tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P333" href="/wiki/Property:P333">defining formula</a>: <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle g{\text{ is right inverse of }}f\iff f\circ g=\operatorname {id} }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>g</mi> <mrow class="MJX-TeXAtom-ORD"> <mtext>&#xA0;is right inverse of&#xA0;</mtext> </mrow> <mi>f</mi> <mspace width="thickmathspace" /> <mo stretchy="false">&#x27FA;<!-- ⟺ --></mo> <mspace width="thickmathspace" /> <mi>f</mi> <mo>&#x2218;<!-- ∘ --></mo> <mi>g</mi> <mo>=</mo> <mi>id</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle g{\text{ is right inverse of }}f\iff f\circ g=\operatorname {id} }</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/63f7f959f617aa1a96d8ba2c729416bfe74d24c2" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:37.237ex; height:2.509ex;" alt="{\displaystyle g{\text{ is right inverse of }}f\iff f\circ g=\operatorname {id} }"></span> / rank</td></tr><tr><td colspan="2"> </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;"><span>Normal rank</span></ins></div></td></tr></table>

Fire https://wiki.tiffa.net/w/index.php?title=Item:Q6117&diff=28041&oldid=prev 2023-03-30T23:17:01Z

<p>‎<span dir="auto"><span class="autocomment">Created claim: </span></span> <a href="/wiki/Property:P7" title="‎part of‎ | ‎object of which the subject is a part (if this subject is already part of object A which is a part of object B, then please only make the subject part of object A). Inverse property of &quot;has part&quot; (P527, see also &quot;has parts of the class&quot; (P2670)).‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">part of</span> <span class="wb-itemlink-id">(P7)</span></span></a>: <a href="/wiki/Item:Q6118" title="‎section and retraction‎ | ‎two kinds of possible inverses of a morphism in a category‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">section and retraction</span> <span class="wb-itemlink-id">(Q6118)</span></span></a></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 08:17, 31 March 2023</td> </tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P7" href="/wiki/Property:P7">part of</a></td></tr><tr><td colspan="2"> </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;"><span><a title="Item:Q6118" href="/wiki/Item:Q6118">section and retraction</a></span></ins></div></td></tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P7" href="/wiki/Property:P7">part of</a>: <a title="Item:Q6118" href="/wiki/Item:Q6118">section and retraction</a> / rank</td></tr><tr><td colspan="2"> </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;"><span>Normal rank</span></ins></div></td></tr></table>

Fire https://wiki.tiffa.net/w/index.php?title=Item:Q6117&diff=28033&oldid=prev 2023-03-30T23:13:43Z

<p>‎<span dir="auto"><span class="autocomment">Created claim: </span></span> <a href="/wiki/Property:P1" title="‎subclass of‎ | ‎this item is a subclass (subset) of that item; all instances of these items are instances of those items; different from P2 (instance of), e.g.: K2 is an instance of mountain; volcano is a subclass of mountain (and an instance of volcanic landform).‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">subclass of</span> <span class="wb-itemlink-id">(P1)</span></span></a>: <a href="/wiki/Item:Q756" title="‎morphism‎ | ‎map (arrow) between two objects of a category‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">morphism</span> <span class="wb-itemlink-id">(Q756)</span></span></a></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 08:13, 31 March 2023</td> </tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P1" href="/wiki/Property:P1">subclass of</a></td></tr><tr><td colspan="2"> </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;"><span><a title="Item:Q756" href="/wiki/Item:Q756">morphism</a></span></ins></div></td></tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P1" href="/wiki/Property:P1">subclass of</a>: <a title="Item:Q756" href="/wiki/Item:Q756">morphism</a> / rank</td></tr><tr><td colspan="2"> </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;"><span>Normal rank</span></ins></div></td></tr></table>

Fire https://wiki.tiffa.net/w/index.php?title=Item:Q6117&diff=28032&oldid=prev 2023-03-30T23:13:17Z

<p>‎<span dir="auto"><span class="autocomment">Created a new Item: </span></span> section, right inverse of a morphism</p> <a href="https://wiki.tiffa.net/w/index.php?title=Item:Q6117&amp;diff=28032">Show changes</a>

Fire