<?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 >
<
title >GAP (CAP) - Chapter
16 : Finite skeletal discrete categories</
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=
"chap16" onload=
"jscontent()" >
<
div class=
"chlinktop" ><
span class=
"chlink1" >Goto Chapter: </
span ><a href=
"chap0.html" >Top</a> <a
href="chap1.html" >1 </a> <a href="chap2.html" >2 </a> <a href="chap3.html" >3 </a> <a href="chap4.html" >4 </a> <a href="chap5.html" >5 </a> <a href="chap6.html" >6 </a> <a href="chap7.html" >7 </a> <a href="chap8.html" >8 </a> <a href="chap9.html" >9 </a> <a href="chap10.html" >10 </a> <a href="chap11.html" >11 </a> <a href="chap12.html" >12 </a> <a href="chap13.html" >13 </a> <a href="chap14.html" >14 </a> <a href="chap15.html" >15 </a> <a href="chap16.html" >16 </a> <a href="chap17.html" >17 </a> <a href="chap18.html" >18 </a> <a href="chapInd.html" >Ind</a> </div >div class="chlinkprevnexttop" > <a href="chap0.html" >[Top of Book]</a> <a href="chap0.html#contents" >[Contents]</a> <a href="chap15.html" >[Previous Chapter]</a> <a href="chap17.html" >[Next Chapter]</a> </div >"mathjaxlink" class="pcenter" ><a href="chap16_mj.html" >[MathJax on]</a></p>"X7BAE6D0285667B1F" name="X7BAE6D0285667B1F" ></a></p>div class="ChapSects" ><a href="chap16.html#X7BAE6D0285667B1F" >16 <span class="Heading" >Finite skeletal discrete categories</span ></a>div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chap16.html#X7D03633A7D98026B" >16 .1 <span class="Heading" ><strong class="pkg" >GAP</strong > Categories</span ></a>span >div class="ContSSBlock" >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap16.html#X86FECC7F7B10DFB5" >16 1 -1 IsFiniteSkeletalDiscreteCategory</a></span >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap16.html#X7B0369367B25FF27" >16 1 -2 IsObjectInFiniteSkeletalDiscreteCategory</a></span >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap16.html#X83A994137F28C142" >16 1 -3 IsMorphismInFiniteSkeletalDiscreteCategory</a></span >div ></div >div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chap16.html#X86EC0F0A78ECBC10" >16 .2 <span class="Heading" >Constructors</span ></a>span >div class="ContSSBlock" >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap16.html#X82D81EB281E4B15F" >16 2 -1 FiniteSkeletalDiscreteCategory</a></span >div ></div >div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chap16.html#X7C701DBF7BAE649A" >16 .3 <span class="Heading" >Attributes</span ></a>span >div class="ContSSBlock" >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap16.html#X82A86530836AB45F" >16 3 -1 UnderlyingListOfGapObjects</a></span >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap16.html#X83402D288247887B" >16 3 -2 UnderlyingGapObject</a></span >div ></div >div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chap16.html#X871597447BB998A1" >16 .4 <span class="Heading" >Properties</span ></a>span >div class="ContSSBlock" >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap16.html#X7F7BD8CF86A2D122" >16 4 -1 IsDiscreteCategory</a></span >div ></div >div >16 <span class="Heading" >Finite skeletal discrete categories</span ></h3>"X7D03633A7D98026B" name="X7D03633A7D98026B" ></a></p>16 .1 <span class="Heading" ><strong class="pkg" >GAP</strong > Categories</span ></h4>"X86FECC7F7B10DFB5" name="X86FECC7F7B10DFB5" ></a></p>16 .1 -1 IsFiniteSkeletalDiscreteCategory</h5>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >&#an style='color: green'>8227; IsFiniteSkeletalDiscreteCategory</code >( <var class="Arg" >C</var > )</td ><td class="tdright" >( filter )</td ></tr ></table ></div >code class="keyw" >true</code > or <code class="keyw" >false</code ></p>strong class="pkg" >GAP</strong > type of a finite skeletal discrete category.</p>"X7B0369367B25FF27" name="X7B0369367B25FF27" ></a></p>16 .1 -2 IsObjectInFiniteSkeletalDiscreteCategory</h5>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >&#an style='color: green'>8227; IsObjectInFiniteSkeletalDiscreteCategory</code >( <var class="Arg" >O</var > )</td ><td class="tdright" >( filter )</td ></tr ></table ></div >code class="keyw" >true</code > or <code class="keyw" >false</code ></p>strong class="pkg" >GAP</strong > type of an object in a finite skeletal discrete category.</p>"X83A994137F28C142" name="X83A994137F28C142" ></a></p>16 .1 -3 IsMorphismInFiniteSkeletalDiscreteCategory</h5>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >&#an style='color: green'>8227; IsMorphismInFiniteSkeletalDiscreteCategory</code >( <var class="Arg" >M</var > )</td ><td class="tdright" >( filter )</td ></tr ></table ></div >code class="keyw" >true</code > or <code class="keyw" >false</code ></p>strong class="pkg" >GAP</strong > type of a morphism in a finite skeletal discrete category.</p>"X86EC0F0A78ECBC10" name="X86EC0F0A78ECBC10" ></a></p>16 .2 <span class="Heading" >Constructors</span ></h4>"X82D81EB281E4B15F" name="X82D81EB281E4B15F" ></a></p>16 .2 -1 FiniteSkeletalDiscreteCategory</h5>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >&#an style='color: green'>8227; FiniteSkeletalDiscreteCategory</code >( <var class="Arg" >arg</var > )</td ><td class="tdright" >( function )</td ></tr ></table ></div >strong class="pkg" >CAP</strong > category</p>"X7C701DBF7BAE649A" name="X7C701DBF7BAE649A" ></a></p>16 .3 <span class="Heading" >Attributes</span ></h4>"X82A86530836AB45F" name="X82A86530836AB45F" ></a></p>16 .3 -1 UnderlyingListOfGapObjects</h5>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >&#an style='color: green'>8227; UnderlyingListOfGapObjects</code >( <var class="Arg" >arg</var > )</td ><td class="tdright" >( attribute )</td ></tr ></table ></div >strong class="pkg" >CAP</strong > objects</p>strong class="pkg" >GAP</strong > objects of a finite skeletal discrete category.</p>"X83402D288247887B" name="X83402D288247887B" ></a></p>16 .3 -2 UnderlyingGapObject</h5>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >&#an style='color: green'>8227; UnderlyingGapObject</code >( <var class="Arg" >arg</var > )</td ><td class="tdright" >( attribute )</td ></tr ></table ></div >strong class="pkg" >CAP</strong > object </p>strong class="pkg" >GAP</strong > object of an object in a finite skeletal discrete category.</p>"X871597447BB998A1" name="X871597447BB998A1" ></a></p>16 .4 <span class="Heading" >Properties</span ></h4>"X7F7BD8CF86A2D122" name="X7F7BD8CF86A2D122" ></a></p>16 .4 -1 IsDiscreteCategory</h5>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >&#an style='color: green'>8227; IsDiscreteCategory</code >( <var class="Arg" >C</var > )</td ><td class="tdright" >( property )</td ></tr ></table ></div >code class="keyw" >true</code > or <code class="keyw" >false</code ></p>var class="Arg" >C</var > being a discrete <strong class="pkg" >CAP</strong > category, i.e., equivalent to a category in which any morphism is an identity.</p>div class="chlinkprevnextbot" > <a href="chap0.html" >[Top of Book]</a> <a href="chap0.html#contents" >[Contents]</a> <a href="chap15.html" >[Previous Chapter]</a> <a href="chap17.html" >[Next Chapter]</a> </div >div class="chlinkbot" ><span class="chlink1" >Goto Chapter: </span ><a href="chap0.html" >Top</a> <a href="chap1.html" >1 </a> <a href="chap2.html" >2 </a> <a href="chap3.html" >3 </a> <a href="chap4.html" >4 </a> <a href="chap5.html" >5 </a> <a href="chap6.html" >6 </a> <a href="chap7.html" >7 </a> <a href="chap8.html" >8 </a> <a href="chap9.html" >9 </a> <a href="chap10.html" >10 </a> <a href="chap11.html" >11 </a> <a href="chap12.html" >12 </a> <a href="chap13.html" >13 </a> <a href="chap14.html" >14 </a> <a href="chap15.html" >15 </a> <a href="chap16.html" >16 </a> <a href="chap17.html" >17 </a> <a href="chap18.html" >18 </a> <a href="chapInd.html" >Ind</a> </div >hr />"foot" >generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc " >GAPDoc2HTML</a></p>body >html > Messung V0.5 in Prozent C=100 H=100 G=100
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet am 2026-06-26)
¤ *© Formatika GbR, Deutschland
