<?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 <?ml version="1.0" encoding=UTF-">
<head>
<script type
  src"ttps:/cdn.jsdelivr.net/npm/mathjax2MathJax.js?config=-AMS-MML_HTMLorMML"
<>
<title>GAP (MonoidalCategories) - Chapter 4: The terminal category 
<eta equiv"type"content=t/html charsetUTF8 />
<meta name="generator"head
< relstylesheet type=text/css" =".css"/java.lang.StringIndexOutOfBoundsException: Index 59 out of bounds for length 59
<script src="manual.js" type="text/script type="text/javascript">overwriteStylescript>>
<vascript">verwriteStyle();</cript>
</head>
<body class="chap4


<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>nbsp   ahref="chap5_mjhtml"[extChapter]<a&bsp  /ivjava.lang.StringIndexOutOfBoundsException: Index 263 out of bounds for length 263

<div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contentsd class="ChapSects">a href=chap4_mj.tml#X84B4C3E17FDDFC55"> spanclass="> terminal categorywith multiple objects<<span>/>

<p id="mathjaxlink" class="pcenter"><a href="chap4.html">[MathJax off]</a></p>
<p><a id="X84B4C3E17FDDFC55" name="X84B4C3E17FDDFC55"></a></p>
<divclass""> ="chap4_mjhX84B4C3E17FDDFC55> <span class"eading"Theterminal category with  </></a>
<div class="iv =""< ="tocline"< =n">nbsp;/pan< href"hap4_mj.html#X7D03633A7D98026B">42<pan class"Heading"< "kg>GAP</trong> Categories</>/>
<div
</h3>4<pan "eading"> terminalcategorywithmultipleobjects/pan>/
<java.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 0
</span>
</div>
</div>

<h3>4 <span class="Heading">The terminal category with multiple objects</span></h3>

<pThiscategory<lies/q in all   hencebew codeclass"">LazyCategory/> inordertocheck  type-correctnessofthe variousderivedmethods providedby<trong class"pkg>CAP<strong>orany strong class="pkgCAPstrong- package<p

<p>This category <q>lies</

<p><a id="X86EC0F0A78ECBC10" name="X86EC0F0A78ECBC10"></a></p>

<h4>4.1 <span class="

<p><a id="java.lang.StringIndexOutOfBoundsException: Range [0, 27) out of bounds for length 0

<>42<span "eading"< ">GAP<strong> Categories<span></h4>


< classchlinkprevnextbot"&;< ="hap0_mj.tml> ofBook]<a&  a href=chap0_mj.tml#contents>Contents]/>nbsp  < hrefchap3_mj.>PreviousChapter</>    <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="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>