<?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" "https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLorMML " >script >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_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="chap10_mj.html" >10</a> <a href="chap11_mj.html" >11</a> <a href="chap12_mj.html" >12</a> <a href="chap13_mj.html" >13</a> <a href="chap14_mj.html" >14</a> <a href="chap15_mj.html" >15</a> <a href="chap16_mj.html" >16</a> <a href="chap17_mj.html" >17</a> <a href="chap18_mj.html" >18</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="chap15_mj.html" >[Previous Chapter]</a> <a href="chap17_mj.html" >[Next Chapter]</a> </div >"mathjaxlink" class="pcenter" ><a href="chap16.html" >[MathJax off]</a></p>"X7BAE6D0285667B1F" name="X7BAE6D0285667B1F" ></a></p>div class="ChapSects" ><a href="chap16_mj.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_mj.html#X7D03633A7D98026B" >16.1 <span class="Heading" ><strong class="pkg" >GAP</strong > Categories</span span >div class="ContSSBlock" >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap16_mj.html#X86FECC7F7B10DFB5" >16.1-1 IsFiniteSkeletalDiscreteCategory</a></span >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap16_mj.html#X7B0369367B25FF27" >16.1-2 IsObjectInFiniteSkeletalDiscreteCategory</a></span >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap16_mj.html#X83A994137F28C142" >16.1-3 IsMorphismInFiniteSkeletalDiscreteCategory</a></span >div ></div >div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chap16_mj.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_mj.html#X82D81EB281E4B15F" >16.2-1 FiniteSkeletalDiscreteCategory</a></span >div ></div >div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chap16_mj.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_mj.html#X82A86530836AB45F" >16.3-1 UnderlyingListOfGapObjects</a></span >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap16_mj.html#X83402D288247887B" >16.3-2 UnderlyingGapObject</a></span >div ></div >div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chap16_mj.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_mj.html#X7F7BD8CF86A2D122" >16.4-1 IsDiscreteCategory</a></span >div ></div >div >span class="Heading" >Finite skeletal discrete categories</span ></h3>"X7D03633A7D98026B" name="X7D03633A7D98026B" ></a></p>span class="Heading" ><strong class="pkg" >GAP</strong > Categories</span ></h4>"X86FECC7F7B10DFB5" name="X86FECC7F7B10DFB5" ></a></p>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ 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>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ 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>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ 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>span class="Heading" >Constructors</span ></h4>"X82D81EB281E4B15F" name="X82D81EB281E4B15F" ></a></p>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ 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>span class="Heading" >Attributes</span ></h4>"X82A86530836AB45F" name="X82A86530836AB45F" ></a></p>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ 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>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ 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>span class="Heading" >Properties</span ></h4>"X7F7BD8CF86A2D122" name="X7F7BD8CF86A2D122" ></a></p>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ 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_mj.html" >[Top of Book]</a> <a href="chap0_mj.html#contents" >[Contents]</a> <a href="chap15_mj.html" >[Previous Chapter]</a> <a href="chap17_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="chap10_mj.html" >10</a> <a href="chap11_mj.html" >11</a> <a href="chap12_mj.html" >12</a> <a href="chap13_mj.html" >13</a> <a href="chap14_mj.html" >14</a> <a href="chap15_mj.html" >15</a> <a href="chap16_mj.html" >16</a> <a href="chap17_mj.html" >17</a> <a href="chap18_mj.html" >18</a> <a href="chapInd_mj.html" >Ind</a> </div >hr />"foot" >generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc " >GAPDoc2HTML</a></p>body >html >quality 98%
¤ Dauer der Verarbeitung: 0.19 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
