| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/monoidalcategories/doc/ (GAP Algebra Version 4.15.1©) Datei vom 25.7.2025 mit Größe 11 kB |
|
Quelle chap6.htmlSprache: 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 docume <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 <div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a> <a href="chap0.html#con <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">Mono <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6.html#X8 </span> <div class="ContSSBlock"> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap6.html#X845F43E584BE51F3">6 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap6.html#X7EB424EE81E0290D">6 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap6.html#X78F907177D3C4BF8">6 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap6.html#X8262914378FA0F1A">6 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap6.html#X861056EA7B4BFD70">6 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap6.html#X7D0F6DAC862788BE">6 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap6.html#X877C15BA81C14016">6 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap6.html#X867C0E9487F19155">6 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap6.html#X7B5F85DB8497D183">6 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap6.html#X7C610A4B848B53FF">6 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap6.html#X7BE3F4D085AA0055">6 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap6.html#X84215E5E875DD7DC">6 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap6.html#X8296E9838534F4D1">6 </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 prope <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">&# <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 t <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">&# <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">&# <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">&# <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">&# <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">&# <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">&# <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">&# <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">&# <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">&# <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><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">&# <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">&# <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">&# <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#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.17 Sekunden (vorverarbeitet am 2026-06-17) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||||
2026-07-09