<?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 (MonoidalCategories) - Chapter 4: The terminal category with multiple objects</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.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="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="chap3.html" >[Previous Chapter]</a> <a href="chap5.html" >[Next Chapter]</a> </div >"mathjaxlink" class="pcenter" ><a href="chap4_mj.html" >[MathJax on]</a></p>"X84B4C3E17FDDFC55" name="X84B4C3E17FDDFC55" ></a></p>div class="ChapSects" ><a href="chap4.html#X84B4C3E17FDDFC55" >4 <span class="Heading" >The terminal category with multiple objects</span ></a>div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chap4.html#X86EC0F0A78ECBC10" >4.1 <span class="Heading" >Constructors</span ></a>span >div >div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chap4.html#X7D03633A7D98026B" >4.2 <span class="Heading" ><strong class="pkg" >GAP</strong > Categories</span ></a>span >div >div >span class="Heading" >The terminal category with multiple objects</span ></h3>code class="code" >CategoryConstructor</code > out of no input .</p>code class="code" >LazyCategory</code >) in order to check the type-correctness of the various derived methods provided by <strong class="pkg" >CAP</strong > or any <strong class="pkg" >CAP</strong >-based package.</p>"X86EC0F0A78ECBC10" name="X86EC0F0A78ECBC10" ></a></p>span class="Heading" >Constructors</span ></h4>"X7D03633A7D98026B" name="X7D03633A7D98026B" ></a></p>span class="Heading" ><strong class="pkg" >GAP</strong > Categories</span ></h4>div class="chlinkprevnextbot" > <a href="chap0.html" >[Top of Book]</a> <a href="chap0.html#contents" >[Contents]</a> <a href="chap3.html" >[Previous Chapter]</a> <a href="chap5.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="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 100%
¤ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
