| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/monoidalcategories/doc/ (Algebra von RWTH Aachen Version 4.15.1©) Datei vom 25.7.2025 mit Größe 3 kB |
|
Quelle chap4.html Sprache: HTML |
|||||||||||
<?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</tit <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 <div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a> <a href="chap0.html#con <p id="mathjaxlink" class="pcenter"><a href="chap4_mj.html">[MathJax on]</a></p> <p><a id="X84B4C3E17FDDFC55" name="X84B4C3E17FDDFC55"></a></p> <div class="ChapSects"><a href="chap4.html#X84B4C3E17FDDFC55">4 <span class="Heading">The t <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4.html#X8 </span> </div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4.html#X7 </span> </div> </div> <h3>4 <span class="Heading">The terminal category with multiple objects</span></h3> <p>This is an example of a category which is created using <code class="code">CategoryConstructo <p>This category <q>lies</q> in all doctrines and can hence be used (in conjunction with <code class=" <p><a id="X86EC0F0A78ECBC10" name="X86EC0F0A78ECBC10"></a></p> <h4>4.1 <span class="Heading">Constructors</span></h4> <p><a id="X7D03633A7D98026B" name="X7D03633A7D98026B"></a></p> <h4>4.2 <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#con <div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a <hr /> <p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GA </body> </html> ¤ Dauer der Verarbeitung: 0.4 Sekunden ¤*© Formatika GbR, Deutschland |
|
2026-03-28