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 11 kB image not shown  

Quelle  chap6.html   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/monoidalcategories/doc/chap6.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 6: MonoidalCategories 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="chap6"  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="chap5.html">[Previous Chapter]</a>    <a href="chapInd.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap6_mj.html">[MathJax on]</a></p>
<p><a id="X806DBCCC82BE4D32" name="X806DBCCC82BE4D32"></a></p>
<div class="ChapSects"><a href="chap6.html#X806DBCCC82BE4D32">6 <span class="Heading">MonoidalCategories automatic generated documentation</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6.html#X86BA4B7E7B19456B">6.1 <span class="Heading">MonoidalCategories automatic generated documentation of properties</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X845F43E584BE51F3">6.1-1 IsAdditiveMonoidalCategory</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7EB424EE81E0290D">6.1-2 IsBraidedMonoidalCategory</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X78F907177D3C4BF8">6.1-3 IsClosedMonoidalCategory</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X8262914378FA0F1A">6.1-4 IsCoclosedMonoidalCategory</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X861056EA7B4BFD70">6.1-5 IsLeftClosedMonoidalCategory</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7D0F6DAC862788BE">6.1-6 IsLeftCoclosedMonoidalCategory</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X877C15BA81C14016">6.1-7 IsMonoidalCategory</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X867C0E9487F19155">6.1-8 IsStrictMonoidalCategory</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7B5F85DB8497D183">6.1-9 IsRigidSymmetricClosedMonoidalCategory</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7C610A4B848B53FF">6.1-10 IsRigidSymmetricCoclosedMonoidalCategory</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7BE3F4D085AA0055">6.1-11 IsSymmetricClosedMonoidalCategory</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X84215E5E875DD7DC">6.1-12 IsSymmetricCoclosedMonoidalCategory</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X8296E9838534F4D1">6.1-13 IsSymmetricMonoidalCategory</a></span>
</div></div>
</div>

<h3>6 <span class="Heading">MonoidalCategories automatic generated documentation</span></h3>

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

<h4>6.1 <span class="Heading">MonoidalCategories automatic generated documentation of properties</span></h4>

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

<h5>6.1-1 IsAdditiveMonoidalCategory</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsAdditiveMonoidalCategory</code>( <var class="Arg">C</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>

<p>The property of the category <var class="Arg">C</var> being additive monoidal, i.e., where the tensor product preserves finite direct sums.</p>

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

<h5>6.1-2 IsBraidedMonoidalCategory</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsBraidedMonoidalCategory</code>( <var class="Arg">C</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>

<p>The property of the category <var class="Arg">C</var> being braided monoidal.</p>

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

<h5>6.1-3 IsClosedMonoidalCategory</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsClosedMonoidalCategory</code>( <var class="Arg">C</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>

<p>The property of the category <var class="Arg">C</var> being (bi)closed monoidal.</p>

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

<h5>6.1-4 IsCoclosedMonoidalCategory</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsCoclosedMonoidalCategory</code>( <var class="Arg">C</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>

<p>The property of the category <var class="Arg">C</var> being (bi)coclosed monoidal.</p>

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

<h5>6.1-5 IsLeftClosedMonoidalCategory</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsLeftClosedMonoidalCategory</code>( <var class="Arg">C</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>

<p>The property of the category <var class="Arg">C</var> being left closed monoidal.</p>

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

<h5>6.1-6 IsLeftCoclosedMonoidalCategory</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsLeftCoclosedMonoidalCategory</code>( <var class="Arg">C</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>

<p>The property of the category <var class="Arg">C</var> being coclosed monoidal.</p>

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

<h5>6.1-7 IsMonoidalCategory</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsMonoidalCategory</code>( <var class="Arg">C</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>

<p>The property of the category <var class="Arg">C</var> being monoidal.</p>

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

<h5>6.1-8 IsStrictMonoidalCategory</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsStrictMonoidalCategory</code>( <var class="Arg">C</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>

<p>The property of the category <var class="Arg">C</var> being strict monoidal.</p>

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

<h5>6.1-9 IsRigidSymmetricClosedMonoidalCategory</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsRigidSymmetricClosedMonoidalCategory</code>( <var class="Arg">C</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>

<p>The property of the category <var class="Arg">C</var> being rigid symmetric closed monoidal.</p>

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

<h5>6.1-10 IsRigidSymmetricCoclosedMonoidalCategory</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsRigidSymmetricCoclosedMonoidalCategory</code>( <var class="Arg">C</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>

<p>The property of the category <var class="Arg">C</var> being rigid symmetric coclosed monoidal.</p>

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

<h5>6.1-11 IsSymmetricClosedMonoidalCategory</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsSymmetricClosedMonoidalCategory</code>( <var class="Arg">C</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>

<p>The property of the category <var class="Arg">C</var> being symmetric closed monoidal.</p>

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

<h5>6.1-12 IsSymmetricCoclosedMonoidalCategory</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsSymmetricCoclosedMonoidalCategory</code>( <var class="Arg">C</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>

<p>The property of the category <var class="Arg">C</var> being symmetric coclosed monoidal.</p>

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

<h5>6.1-13 IsSymmetricMonoidalCategory</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsSymmetricMonoidalCategory</code>( <var class="Arg">C</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p>Returns: <code class="keyw">true</code> or <code class="keyw">false</code></p>

<p>The property of the category <var class="Arg">C</var> being symmetric monoidal.</p>


<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap5.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="chapInd.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>

100%


¤ Dauer der Verarbeitung: 0.16 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland




Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.