<?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 18: CAP automatic generated documentation</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="chap18" 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="chap17.html" >[Previous Chapter]</a> <a href="chapInd.html" >[Next Chapter]</a> </div >"mathjaxlink" class="pcenter" ><a href="chap18_mj.html" >[MathJax on]</a></p>"X86293D7E84FD8A71" name="X86293D7E84FD8A71" ></a></p>div class="ChapSects" ><a href="chap18.html#X86293D7E84FD8A71" >18 <span class="Heading" >CAP automatic generated documentation</span ></a>div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chap18.html#X7F15B2867CEBDC5D" >18.1 <span class="Heading" >CAP automatic generated documentation of properties</span ></a>span >div class="ContSSBlock" >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap18.html#X8572BE547C73D308" >18.1-1 IsEquivalentToFiniteCategory</a></span >div ></div >div >span class="Heading" >CAP automatic generated documentation</span ></h3>"X7F15B2867CEBDC5D" name="X7F15B2867CEBDC5D" ></a></p>span class="Heading" >CAP automatic generated documentation of properties</span ></h4>"X8572BE547C73D308" name="X8572BE547C73D308" ></a></p>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ IsEquivalentToFiniteCategory</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 equivalent to a finite category.</p>div class="chlinkprevnextbot" > <a href="chap0.html" >[Top of Book]</a> <a href="chap0.html#contents" >[Contents]</a> <a href="chap17.html" >[Previous Chapter]</a> <a href="chapInd.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 >quality 98%
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
