|
|
|
|
Quelle chap4_mj.html
Sprache: HTML
|
|
| products/Sources/formale Sprachen/GAP/pkg/generalizedmorphismsforcap/doc/chap4_mj.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_HTMLorMML">
</ script>
< title>GAP (GeneralizedMorphismsForCAP) - Chapter 4: Generalized Morphism Category by Three Arrows</title>
<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</a> <a href="chap1_mj.html">1</a> <a href="chap2_mj.html">2</a> <a href="chap3_mj.html">3</a> <a href="chap4_mj.html">4</a> <a href="chap5_mj.html">5</a> <a href="chap6_mj.html">6</a> <a href="chap7_mj.html">7</a> <a href="chap8_mj.html">8</a> <a href="chap9_mj.html">9</a> <a href="chapInd_mj.html">Ind</a> </div>
<div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.html#contents">[Contents]</a> <a href="chap3_mj.html">[Previous Chapter]</a> <a href="chap5_mj.html">[Next Chapter]</a> </div>
<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">Generalized Morphism Category by Three Arrows</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4_mj.html#X7D03633A7D98026B">4.1 <span class="Heading">GAP Categories</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X869A7C2A85C2743A">4.1-1 IsGeneralizedMorphismCategoryByThreeArrows</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X7E861596801CA565">4.1-2 IsGeneralizedMorphismCategoryByThreeArrowsObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X87934BAA84C6E654">4.1-3 IsGeneralizedMorphismByThreeArrows</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4_mj.html#X871597447BB998A1">4.2 <span class="Heading">Properties</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X8247F41681D15233">4.2-1 HasIdentitiesAsReversedArrows</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X8347A40179DBD909">4.2-2 HasIdentityAsSourceAid</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X81F0F4FA78F9F361">4.2-3 HasIdentityAsRangeAid</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4_mj.html#X7C701DBF7BAE649A">4.3 <span class="Heading">Attributes</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X8028877F819A0DBF">4.3-1 UnderlyingHonestObject</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X7B17B7587A449B8E">4.3-2 SourceAid</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X87B0A0AF84F8AF7D">4.3-3 RangeAid</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X7CCBCD5385E55586">4.3-4 Arrow</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X784C006B8525E205">4.3-5 PseudoInverse</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X78A8A55883C06AB1">4.3-6 GeneralizedInverseByThreeArrows</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X80E329707BAA3B29">4.3-7 IdempotentDefinedBySubobjectByThreeArrows</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X8217014B870B3EC2">4.3-8 IdempotentDefinedByFactorobjectByThreeArrows</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4_mj.html#X7DE8E16C7C2D387B">4.4 <span class="Heading">Operations</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X78C1A22D86943E97">4.4-1 GeneralizedMorphismFromFactorToSubobjectByThreeArrows</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X7A50AC43855B33B1">4.4-2 CommonCoastriction</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4_mj.html#X86EC0F0A78ECBC10">4.5 <span class="Heading">Constructors</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X8477D6E679E15474">4.5-1 GeneralizedMorphismByThreeArrows</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X7D60D9F97A2F7D5F">4.5-2 GeneralizedMorphismByThreeArrowsWithSourceAid</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X7F9E6B188755170A">4.5-3 GeneralizedMorphismByThreeArrowsWithRangeAid</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X7E0CF2A87AC08A8B">4.5-4 AsGeneralizedMorphismByThreeArrows</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X8296606484DDDF6C">4.5-5 GeneralizedMorphismCategoryByThreeArrows</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4_mj.html#X8165802A8625467E">4.5-6 GeneralizedMorphismByThreeArrowsObject</a></span>
</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">an style='color: green'>8227; IsGeneralizedMorphismCategoryByThreeArrows</code>( <var class="Arg">object</var> )</td><td class="tdright">( filter )</td></tr></table></div>
<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">an style='color: green'>8227; IsGeneralizedMorphismCategoryByThreeArrowsObject</code>( <var class="Arg">object</var> )</td><td class="tdright">( filter )</td></tr></table></div>
<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">an style='color: green'>8227; IsGeneralizedMorphismByThreeArrows</code>( <var class="Arg">object</var> )</td><td class="tdright">( filter )</td></tr></table></div>
<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">an style='color: green'>8227; HasIdentitiesAsReversedArrows</code>( <var class="Arg">alpha</var> )</td><td class="tdright">( property )</td></tr></table></div>
<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 arrows <span class="SimpleMath">\(a \leftarrow b \rightarrow c \leftarrow d\)</span>. The output is <code class="code">true</code> if <span class="SimpleMath">\(a \leftarrow b\)</span> and <span class="SimpleMath">\(c \leftarrow d\)</span> are congruent to identity morphisms, <code class="code">false</code> otherwise.</p>
<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">an style='color: green'>8227; HasIdentityAsSourceAid</code>( <var class="Arg">alpha</var> )</td><td class="tdright">( property )</td></tr></table></div>
<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 arrows <span class="SimpleMath">\(a \leftarrow b \rightarrow c \leftarrow d\)</span>. The output is <code class="code">true</code> if <span class="SimpleMath">\(a \leftarrow b\)</span> is congruent to an identity morphism, <code class="code">false</code> otherwise.</p>
<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">an style='color: green'>8227; HasIdentityAsRangeAid</code>( <var class="Arg">alpha</var> )</td><td class="tdright">( property )</td></tr></table></div>
<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 arrows <span class="SimpleMath">\(a \leftarrow b \rightarrow c \leftarrow d\)</span>. The output is <code class="code">true</code> if <span class="SimpleMath">\(c \leftarrow d\)</span> is congruent to an identity morphism, <code class="code">false</code> otherwise.</p>
<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">an style='color: green'>8227; UnderlyingHonestObject</code>( <var class="Arg">a</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<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 category by three arrows. The output is its underlying honest object.</p>
<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">an style='color: green'>8227; SourceAid</code>( <var class="Arg">alpha</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{A}}(b,a)\)</span></p>
<p>The argument is a generalized morphism <span class="SimpleMath">\(\alpha\)</span> by three arrows <span class="SimpleMath">\(a \leftarrow b \rightarrow c \leftarrow d\)</span>. The output is its source aid <span class="SimpleMath">\(a \leftarrow b\)</span>.</p>
<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">an style='color: green'>8227; RangeAid</code>( <var class="Arg">alpha</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{A}}(d,c)\)</span></p>
<p>The argument is a generalized morphism <span class="SimpleMath">\(\alpha\)</span> by three arrows <span class="SimpleMath">\(a \leftarrow b \rightarrow c \leftarrow d\)</span>. The output is its range aid <span class="SimpleMath">\(c \leftarrow d\)</span>.</p>
<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">an style='color: green'>8227; Arrow</code>( <var class="Arg">alpha</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{A}}(b,c)\)</span></p>
<p>The argument is a generalized morphism <span class="SimpleMath">\(\alpha\)</span> by three arrows <span class="SimpleMath">\(a \leftarrow b \rightarrow c \leftarrow d\)</span>. The output is its range aid <span class="SimpleMath">\(b \rightarrow c\)</span>.</p>
<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">an style='color: green'>8227; PseudoInverse</code>( <var class="Arg">alpha</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{G(A)}}(b,a)\)</span></p>
<p>The argument is a generalized morphism <span class="SimpleMath">\(\alpha: a \rightarrow b\)</span> by three arrows. The output is its pseudo inverse <span class="SimpleMath">\(b \rightarrow a\)</span>.</p>
<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">an style='color: green'>8227; GeneralizedInverseByThreeArrows</code>( <var class="Arg">alpha</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{G(A)}}(b,a)\)</span></p>
<p>The argument is a morphism <span class="SimpleMath">\(\alpha: a \rightarrow b \in \mathbf{A}\)</span>. The output is its generalized inverse <span class="SimpleMath">\(b \rightarrow a\)</span> by three arrows.</p>
<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">an style='color: green'>8227; IdempotentDefinedBySubobjectByThreeArrows</code>( <var class="Arg">alpha</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{G(A)}}(b,b)\)</span></p>
<p>The argument is a subobject <span class="SimpleMath">\(\alpha: a \hookrightarrow b \in \mathbf{A}\)</span>. The output is the idempotent <span class="SimpleMath">\(b \rightarrow b \in \mathbf{G(A)}\)</span> by three arrows defined by <span class="SimpleMath">\(\alpha\)</span>.</p>
<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">an style='color: green'>8227; IdempotentDefinedByFactorobjectByThreeArrows</code>( <var class="Arg">alpha</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{G(A)}}(b,b)\)</span></p>
<p>The argument is a factorobject <span class="SimpleMath">\(\alpha: b \twoheadrightarrow a \in \mathbf{A}\)</span>. The output is the idempotent <span class="SimpleMath">\(b \rightarrow b \in \mathbf{G(A)}\)</span> by three arrows defined by <span class="SimpleMath">\(\alpha\)</span>.</p>
<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">an style='color: green'>8227; GeneralizedMorphismFromFactorToSubobjectByThreeArrows</code>( <var class="Arg">beta</var>, <var class="Arg">alpha</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{G(A)}}(c,a)\)</span></p>
<p>The arguments are a a factorobject <span class="SimpleMath">\(\beta: b \twoheadrightarrow c\)</span>, and a subobject <span class="SimpleMath">\(\alpha: a \hookrightarrow b\)</span>. The output is the generalized morphism by three arrows from the factorobject to the subobject.</p>
<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">an style='color: green'>8227; CommonCoastriction</code>( <var class="Arg">L</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: a list of generalized morphisms</p>
<p>The argument is a list <span class="SimpleMath">\(L\)</span> of generalized morphisms by three arrows having the same range. The output is a list of generalized morphisms by three arrows which is the comman coastriction of <span class="SimpleMath">\(L\)</span>.</p>
<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">an style='color: green'>8227; GeneralizedMorphismByThreeArrows</code>( <var class="Arg">alpha</var>, <var class="Arg">beta</var>, <var class="Arg">gamma</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{G(A)}}(a,d)\)</span></p>
<p>The arguments are morphisms <span class="SimpleMath">\(\alpha: a \leftarrow b\)</span>, <span class="SimpleMath">\(\beta: b \rightarrow c\)</span>, and <span class="SimpleMath">\(\gamma: c \leftarrow d\)</span> in <span class="SimpleMath">\(\mathbf{A}\)</span>. The output is a generalized morphism by three arrows with source aid <span class="SimpleMath">\(\alpha\)</span>, arrow <span class="SimpleMath">\(\beta\)</span>, and range aid <span class="SimpleMath">\(\gamma\)</span>.</p>
<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">an style='color: green'>8227; GeneralizedMorphismByThreeArrowsWithSourceAid</code>( <var class="Arg">alpha</var>, <var class="Arg">beta</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{G(A)}}(a,c)\)</span></p>
<p>The arguments are morphisms <span class="SimpleMath">\(\alpha: a \leftarrow b\)</span>, and <span class="SimpleMath">\(\beta: b \rightarrow c\)</span> in <span class="SimpleMath">\(\mathbf{A}\)</span>. The output is a generalized morphism by three arrows defined by the composition of the given two arrows regarded as generalized morphisms.</p>
<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">an style='color: green'>8227; GeneralizedMorphismByThreeArrowsWithRangeAid</code>( <var class="Arg">beta</var>, <var class="Arg">gamma</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{G(A)}}(b,d)\)</span></p>
<p>The arguments are morphisms <span class="SimpleMath">\(\beta: b \rightarrow c\)</span>, and <span class="SimpleMath">\(\gamma: c \leftarrow d\)</span> in <span class="SimpleMath">\(\mathbf{A}\)</span>. The output is a generalized morphism by three arrows defined by the composition of the given two arrows regarded as generalized morphisms.</p>
<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">an style='color: green'>8227; AsGeneralizedMorphismByThreeArrows</code>( <var class="Arg">alpha</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<p>Returns: a morphism in <span class="SimpleMath">\(\mathrm{Hom}_{\mathbf{G(A)}}(a,b)\)</span></p>
<p>The argument is a morphism <span class="SimpleMath">\(\alpha: a \rightarrow b\)</span> in <span class="SimpleMath">\(\mathbf{A}\)</span>. The output is the honest generalized morphism by three arrows defined by <span class="SimpleMath">\(\alpha\)</span>.</p>
<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">an style='color: green'>8227; GeneralizedMorphismCategoryByThreeArrows</code>( <var class="Arg">A</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<p>Returns: a category</p>
<p>The argument is an abelian category <span class="SimpleMath">\(\mathbf{A}\)</span>. The output is its generalized morphism category <span class="SimpleMath">\(\mathbf{G(A)}\)</span> by three arrows.</p>
<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">an style='color: green'>8227; GeneralizedMorphismByThreeArrowsObject</code>( <var class="Arg">a</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<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 class="SimpleMath">\(\mathbf{A}\)</span>. The output is the object in the generalized morphism category by three arrows whose underlying honest object is <span class="SimpleMath">\(a\)</span>.</p>
<div class="chlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.html#contents">[Contents]</a> <a href="chap3_mj.html">[Previous Chapter]</a> <a href="chap5_mj.html">[Next Chapter]</a> </div>
<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a> <a href="chap1_mj.html">1</a> <a href="chap2_mj.html">2</a> <a href="chap3_mj.html">3</a> <a href="chap4_mj.html">4</a> <a href="chap5_mj.html">5</a> <a href="chap6_mj.html">6</a> <a href="chap7_mj.html">7</a> <a href="chap8_mj.html">8</a> <a href="chap9_mj.html">9</a> <a href="chapInd_mj.html">Ind</a> </div>
<hr />
<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet am 2026-11-04)
¤
*© Formatika GbR, Deutschland
|
|
2026-11-04
|
|
|
|
|
Neuigkeiten |
| Aktuelles |
| Motto des Tages |
|
Open Source Software |
|
|
|
Jenseits des Üblichen ....
|
|
Besucherstatistik |
|
|
| Statistik |
| #Sources=1104857 |
| #Domains=439066 |
|
|