<?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 >script type="text/javascript" "https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLorMML " >script >title >GAP (CAP) - Chapter 13: Create wrapper hulls of a category</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="chap13" onload="jscontent()" >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> <a href="chap4_mj.html" >4</a> <a href="chap5_mj.html" >5</a> <a href="chap6_mj.html" >6</a> <a href="chap7_mj.html" >7</a> <a href="chap8_mj.html" >8</a> <a href="chap9_mj.html" >9</a> <a href="chap10_mj.html" >10</a> <a href="chap11_mj.html" >11</a> <a href="chap12_mj.html" >12</a> <a href="chap13_mj.html" >13</a> <a href="chap14_mj.html" >14</a> <a href="chap15_mj.html" >15</a> <a href="chap16_mj.html" >16</a> <a href="chap17_mj.html" >17</a> <a href="chap18_mj.html" >18</a> <a href="chapInd_mj.html" >Ind</a> </div >div class="chlinkprevnexttop" > <a href="chap0_mj.html" >[Top of Book]</a> <a href="chap0_mj.html#contents" >[Contents]</a> <a href="chap12_mj.html" >[Previous Chapter]</a> <a href="chap14_mj.html" >[Next Chapter]</a> </div >"mathjaxlink" class="pcenter" ><a href="chap13.html" >[MathJax off]</a></p>"X85EE0CDD7D162BC7" name="X85EE0CDD7D162BC7" ></a></p>div class="ChapSects" ><a href="chap13_mj.html#X85EE0CDD7D162BC7" >13 <span class="Heading" >Create wrapper hulls of a category</span ></a>div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chap13_mj.html#X7D03633A7D98026B" >13.1 <span class="Heading" >GAP categories</span ></a>span >div class="ContSSBlock" >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap13_mj.html#X82BF68357D8889C4" >13.1-1 IsWrapperCapCategory</a></span >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap13_mj.html#X7E59F7CB7F1D9569" >13.1-2 IsWrapperCapCategoryObject</a></span >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap13_mj.html#X7B2D95DA7D635FD7" >13.1-3 IsWrapperCapCategoryMorphism</a></span >div ></div >div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chap13_mj.html#X7C701DBF7BAE649A" >13.2 <span class="Heading" >Attributes</span ></a>span >div class="ContSSBlock" >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap13_mj.html#X81829E6386E43EF3" >13.2-1 UnderlyingCell</a></span >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap13_mj.html#X7AA0358D85F1CD9F" >13.2-2 UnderlyingCell</a></span >div ></div >div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chap13_mj.html#X86EC0F0A78ECBC10" >13.3 <span class="Heading" >Constructors</span ></a>span >div class="ContSSBlock" >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap13_mj.html#X83886A588035ED96" >13.3-1 AsObjectInWrapperCategory</a></span >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap13_mj.html#X832CBD5A80B84DDF" >13.3-2 AsMorphismInWrapperCategory</a></span >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap13_mj.html#X7A95EED57AD2AF78" >13.3-3 AsMorphismInWrapperCategory</a></span >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap13_mj.html#X7BF21C4587D89462" >13.3-4 /</a></span >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap13_mj.html#X7C22BC7182777CF4" >13.3-5 WrapperCategory</a></span >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap13_mj.html#X86932DDE8378A2AF" >13.3-6 WrappingFunctor</a></span >div ></div >div >span class="Heading" >Create wrapper hulls of a category</span ></h3>"X7D03633A7D98026B" name="X7D03633A7D98026B" ></a></p>span class="Heading" >GAP categories</span ></h4>"X82BF68357D8889C4" name="X82BF68357D8889C4" ></a></p>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ IsWrapperCapCategory</code >( <var class="Arg" >arg</var > )</td ><td class="tdright" >( filter )</td ></tr ></table div >code class="keyw" >true</code > or <code class="keyw" >false</code ></p>strong class="pkg" >GAP</strong > category of a wrapper CAP category.</p>"X7E59F7CB7F1D9569" name="X7E59F7CB7F1D9569" ></a></p>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ IsWrapperCapCategoryObject</code >( <var class="Arg" >arg</var > )</td ><td class="tdright" >( filter )</td tr ></table ></div >code class="keyw" >true</code > or <code class="keyw" >false</code ></p>strong class="pkg" >GAP</strong > category of objects in a wrapper CAP category.</p>"X7B2D95DA7D635FD7" name="X7B2D95DA7D635FD7" ></a></p>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ IsWrapperCapCategoryMorphism</code >( <var class="Arg" >arg</var > )</td ><td class="tdright" >( filter )</td ></tr ></table ></div >code class="keyw" >true</code > or <code class="keyw" >false</code ></p>strong class="pkg" >GAP</strong > category of morphisms in a wrapper CAP category.</p>"X7C701DBF7BAE649A" name="X7C701DBF7BAE649A" ></a></p>span class="Heading" >Attributes</span ></h4>"X81829E6386E43EF3" name="X81829E6386E43EF3" ></a></p>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ UnderlyingCell</code >( <var class="Arg" >object </var > )</td ><td class="tdright" >( attribute )</td ></tr ></table div >object </p>object <var class="Arg" >object </var >.</p>"X7AA0358D85F1CD9F" name="X7AA0358D85F1CD9F" ></a></p>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ UnderlyingCell</code >( <var class="Arg" >morphism</var > )</td ><td class="tdright" >( attribute )</td ></tr ></table ></div >var class="Arg" >morphism</var >.</p>"X86EC0F0A78ECBC10" name="X86EC0F0A78ECBC10" ></a></p>span class="Heading" >Constructors</span ></h4>"X83886A588035ED96" name="X83886A588035ED96" ></a></p>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ AsObjectInWrapperCategory</code >( <var class="Arg" >category</var >, <var class="Arg" >object </var > )</td ><td class="tdright" >( operation )</td ></tr ></table ></div >object </p>object <var class="Arg" >object </var > (in the category underlying the wrapper category <var class="Arg" >category</var >) to form an object in <var class="Arg" >category</var >.</p>"X832CBD5A80B84DDF" name="X832CBD5A80B84DDF" ></a></p>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ AsMorphismInWrapperCategory</code >( <var class="Arg" >source </var >, <var class="Arg" >morphism</var >, <var class="Arg" >range</var > )</td ><td class="tdright" >( operation )</td ></tr ></table ></div >var class="Arg" >morphism</var > (in the category underlying the wrapper category <code class="code" >CapCategory(</code ><var class="Arg" >source </var ><code class="code" >)</code >) to form a morphism in <code class="code" >CapCategory(</code ><var class="Arg" >source </var ><code class="code" >)</code > with given source and range.</p>"X7A95EED57AD2AF78" name="X7A95EED57AD2AF78" ></a></p>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ AsMorphismInWrapperCategory</code >( <var class="Arg" >category</var >, <var class="Arg" >morphism</var td ><td class="tdright" >( operation )</td ></tr ></table ></div >var class="Arg" >morphism</var > (in the category underlying the wrapper category <var class="Arg" >category</var >) to form a morphism in <var class="Arg" >category</var >.</p>"X7BF21C4587D89462" name="X7BF21C4587D89462" ></a></p>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ /</code var class="Arg" >cell</var >, <var class="Arg" >category</var > )</td ><td class="tdright" >( operation )</td ></tr ></table ></div >code class="func" >AsObjectInWrapperCategory</code > (<a href="chap13_mj.html#X83886A588035ED96" ><span class="RefLink" >13.3-1</span ></a>) and <code class="func" >AsMorphismInWrapperCategory</code > (<a href="chap13_mj.html#X7A95EED57AD2AF78" ><span class="RefLink" >13.3-3</span ></a>).</p>"X7C22BC7182777CF4" name="X7C22BC7182777CF4" ></a></p>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ WrapperCategory</code >( <var class="Arg" >category</var >, <var class="Arg" >options</var > )</td ><td class="tdright" >( operation )</td ></tr ></table ></div >var class="Arg" >category</var > to form a new category subject to the options given via <var class="Arg" >options</var >, which is a record with the following keys:</p>ul >li ><p><code class="code" >name</code > (optional): the name of the wrapper category</p>li >li ><p><code class="code" >only_primitive_operations</code > (optional, default <code class="code" >false</code >): whether to only wrap primitive operations or all operations</p>li >ul >code class="func" >CategoryConstructor</code > (<a href="chap11_mj.html#X8070F8B48111E8A7" ><span class="RefLink" >11.2-1</span ></a>) are supported: <code class="code" >category_filter</code >, <code class="code" >category_object_filter</code >, <code class="code" >category_morphism_filter</code >. The filters must imply <code class="code" >IsWrapperCapCategory</code >, <code class="code" >IsWrapperCapCategoryObject</code >, and <code class="code" >IsWrapperCapCategoryMorphism</code >, respectively.</p>"X86932DDE8378A2AF" name="X86932DDE8378A2AF" ></a></p>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ WrappingFunctor</code >( <var class="Arg" >W</var > )</td ><td class="tdright" >( attribute )</td ></tr ></table ></div >code class="code" >ModelingCategory</code >(<var class="Arg" >W</var >) to the wrapper category <var class="Arg" >W</var > which simply wraps objects/morphisms.</p>div class="chlinkprevnextbot" > <a href="chap0_mj.html" >[Top of Book]</a> <a href="chap0_mj.html#contents" >[Contents]</a> <a href="chap12_mj.html" >[Previous Chapter]</a> <a href="chap14_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="chap7_mj.html" >7</a> <a href="chap8_mj.html" >8</a> <a href="chap9_mj.html" >9</a> <a href="chap10_mj.html" >10</a> <a href="chap11_mj.html" >11</a> <a href="chap12_mj.html" >12</a> <a href="chap13_mj.html" >13</a> <a href="chap14_mj.html" >14</a> <a href="chap15_mj.html" >15</a> <a href="chap16_mj.html" >16</a> <a href="chap17_mj.html" >17</a> <a href="chap18_mj.html" >18</a> <a href="chapInd_mj.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 98%
¤ Dauer der Verarbeitung: 0.20 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
