| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/generalizedmorphismsforcap/doc/ (GAP Algebra Version 4.15.1©) Datei vom 25.7.2025 mit Größe 23 kB |
|
Quelle chap4_mj.htmlSprache: HTML |
|||||||||||||||||
<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <script type="text/javascript" src="https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLor </script> <title>GAP (GeneralizedMorphismsForCAP) - Chapter 4: Generalized Morphism Category by Three <meta http-equiv="content-type" content="text/html; charset=UTF-8" /> <meta name="generator" content="GAPDoc2HTML" /> <link rel="stylesheet" type="text/css" href="manual.css" /> <script src="manual.js" type="text/javascript"></script> <script type="text/javascript">overwriteStyle();</script> </head> <body class="chap4" onload="jscontent()"> <div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top< <div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.ht <p id="mathjaxlink" class="pcenter"><a href="chap4.html">[MathJax off]</a></p> <p><a id="X7F39133179F83B50" name="X7F39133179F83B50"></a></p> <div class="ChapSects"><a href="chap4_mj.html#X7F39133179F83B50">4 <span class="Heading">G <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4_mj.html </span> <div class="ContSSBlock"> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X869A7C2A85C2743 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X7E861596801CA56 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X87934BAA84C6E65 </div></div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4_mj.html </span> <div class="ContSSBlock"> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X8247F41681D1523 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X8347A40179DBD90 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X81F0F4FA78F9F36 </div></div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4_mj.html </span> <div class="ContSSBlock"> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X8028877F819A0DB <span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X7B17B7587A449B8 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X87B0A0AF84F8AF7 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X7CCBCD5385E5558 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X784C006B8525E20 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X78A8A55883C06AB <span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X80E329707BAA3B2 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X8217014B870B3EC </div></div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4_mj.html </span> <div class="ContSSBlock"> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X78C1A22D86943E9 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X7A50AC43855B33B </div></div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4_mj.html </span> <div class="ContSSBlock"> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X8477D6E679E1547 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X7D60D9F97A2F7D5 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X7F9E6B188755170 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X7E0CF2A87AC08A8 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X8296606484DDDF6 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X8165802A8625467 </div></div> </div> <h3>4 <span class="Heading">Generalized Morphism Category by Three Arrows</span></h3> <p><a id="X7D03633A7D98026B" name="X7D03633A7D98026B"></a></p> <h4>4.1 <span class="Heading">GAP Categories</span></h4> <p><a id="X869A7C2A85C2743A" name="X869A7C2A85C2743A"></a></p> <h5>4.1-1 IsGeneralizedMorphismCategoryByThreeArrows</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p> <p>The GAP category of the category of generalized morphisms by three arrows.</p> <p><a id="X7E861596801CA565" name="X7E861596801CA565"></a></p> <h5>4.1-2 IsGeneralizedMorphismCategoryByThreeArrowsObject</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p> <p>The GAP category of objects in the generalized morphism category by three arrows.</p> <p><a id="X87934BAA84C6E654" name="X87934BAA84C6E654"></a></p> <h5>4.1-3 IsGeneralizedMorphismByThreeArrows</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p> <p>The GAP category of morphisms in the generalized morphism category by three arrows.</p> <p><a id="X871597447BB998A1" name="X871597447BB998A1"></a></p> <h4>4.2 <span class="Heading">Properties</span></h4> <p><a id="X8247F41681D15233" name="X8247F41681D15233"></a></p> <h5>4.2-1 HasIdentitiesAsReversedArrows</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p> <p>The argument is a generalized morphism <span class="SimpleMath">\(\alpha\)</span> by three ar <p><a id="X8347A40179DBD909" name="X8347A40179DBD909"></a></p> <h5>4.2-2 HasIdentityAsSourceAid</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p> <p>The argument is a generalized morphism <span class="SimpleMath">\(\alpha\)</span> by three ar <p><a id="X81F0F4FA78F9F361" name="X81F0F4FA78F9F361"></a></p> <h5>4.2-3 HasIdentityAsRangeAid</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p> <p>The argument is a generalized morphism <span class="SimpleMath">\(\alpha\)</span> by three ar <p><a id="X7C701DBF7BAE649A" name="X7C701DBF7BAE649A"></a></p> <h4>4.3 <span class="Heading">Attributes</span></h4> <p><a id="X8028877F819A0DBF" name="X8028877F819A0DBF"></a></p> <h5>4.3-1 UnderlyingHonestObject</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Returns: an object in <span class="SimpleMath">\(\mathbf{A}\)</span></p> <p>The argument is an object <span class="SimpleMath">\(a\)</span> in the generalized morphism ca <p><a id="X7B17B7587A449B8E" name="X7B17B7587A449B8E"></a></p> <h5>4.3-2 SourceAid</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{A}}(b,a)\)</spa <p>The argument is a generalized morphism <span class="SimpleMath">\(\alpha\)</span> by three ar <p><a id="X87B0A0AF84F8AF7D" name="X87B0A0AF84F8AF7D"></a></p> <h5>4.3-3 RangeAid</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{A}}(d,c)\)</spa <p>The argument is a generalized morphism <span class="SimpleMath">\(\alpha\)</span> by three ar <p><a id="X7CCBCD5385E55586" name="X7CCBCD5385E55586"></a></p> <h5>4.3-4 Arrow</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{A}}(b,c)\)</spa <p>The argument is a generalized morphism <span class="SimpleMath">\(\alpha\)</span> by three ar <p><a id="X784C006B8525E205" name="X784C006B8525E205"></a></p> <h5>4.3-5 PseudoInverse</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{G(A)}}(b,a)\)</ <p>The argument is a generalized morphism <span class="SimpleMath">\(\alpha: a \rightarrow b\)< <p><a id="X78A8A55883C06AB1" name="X78A8A55883C06AB1"></a></p> <h5>4.3-6 GeneralizedInverseByThreeArrows</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{G(A)}}(b,a)\)</ <p>The argument is a morphism <span class="SimpleMath">\(\alpha: a \rightarrow b \in \mathbf{A} <p><a id="X80E329707BAA3B29" name="X80E329707BAA3B29"></a></p> <h5>4.3-7 IdempotentDefinedBySubobjectByThreeArrows</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{G(A)}}(b,b)\)</ <p>The argument is a subobject <span class="SimpleMath">\(\alpha: a \hookrightarrow b \in \math <p><a id="X8217014B870B3EC2" name="X8217014B870B3EC2"></a></p> <h5>4.3-8 IdempotentDefinedByFactorobjectByThreeArrows</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{G(A)}}(b,b)\)</ <p>The argument is a factorobject <span class="SimpleMath">\(\alpha: b \twoheadrightarrow a \i <p><a id="X7DE8E16C7C2D387B" name="X7DE8E16C7C2D387B"></a></p> <h4>4.4 <span class="Heading">Operations</span></h4> <p><a id="X78C1A22D86943E97" name="X78C1A22D86943E97"></a></p> <h5>4.4-1 GeneralizedMorphismFromFactorToSubobjectByThreeArrows</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{G(A)}}(c,a)\)</ <p>The arguments are a a factorobject <span class="SimpleMath">\(\beta: b \twoheadrightarrow c <p><a id="X7A50AC43855B33B1" name="X7A50AC43855B33B1"></a></p> <h5>4.4-2 CommonCoastriction</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Returns: a list of generalized morphisms</p> <p>The argument is a list <span class="SimpleMath">\(L\)</span> of generalized morphisms by three <p><a id="X86EC0F0A78ECBC10" name="X86EC0F0A78ECBC10"></a></p> <h4>4.5 <span class="Heading">Constructors</span></h4> <p><a id="X8477D6E679E15474" name="X8477D6E679E15474"></a></p> <h5>4.5-1 GeneralizedMorphismByThreeArrows</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{G(A)}}(a,d)\)</ <p>The arguments are morphisms <span class="SimpleMath">\(\alpha: a \leftarrow b\)</span>, <span <p><a id="X7D60D9F97A2F7D5F" name="X7D60D9F97A2F7D5F"></a></p> <h5>4.5-2 GeneralizedMorphismByThreeArrowsWithSourceAid</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{G(A)}}(a,c)\)</ <p>The arguments are morphisms <span class="SimpleMath">\(\alpha: a \leftarrow b\)</span>, and <s <p><a id="X7F9E6B188755170A" name="X7F9E6B188755170A"></a></p> <h5>4.5-3 GeneralizedMorphismByThreeArrowsWithRangeAid</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{G(A)}}(b,d)\)</ <p>The arguments are morphisms <span class="SimpleMath">\(\beta: b \rightarrow c\)</span>, and <s <p><a id="X7E0CF2A87AC08A8B" name="X7E0CF2A87AC08A8B"></a></p> <h5>4.5-4 AsGeneralizedMorphismByThreeArrows</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{G(A)}}(a,b)\)</ <p>The argument is a morphism <span class="SimpleMath">\(\alpha: a \rightarrow b\)</span> in <span <p><a id="X8296606484DDDF6C" name="X8296606484DDDF6C"></a></p> <h5>4.5-5 GeneralizedMorphismCategoryByThreeArrows</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Returns: a category</p> <p>The argument is an abelian category <span class="SimpleMath">\(\mathbf{A}\)</span>. The outp <p><a id="X8165802A8625467E" name="X8165802A8625467E"></a></p> <h5>4.5-6 GeneralizedMorphismByThreeArrowsObject</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Returns: an object in <span class="SimpleMath">\(\mathbf{G(A)}\)</span></p> <p>The argument is an object <span class="SimpleMath">\(a\)</span> in an abelian category <span cla <div class="chlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.ht <div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top< <hr /> <p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GA </body> </html>
¤ Dauer der Verarbeitung: 0.20 Sekunden (vorverarbeitet am 2026-06-17) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||||
2026-07-27