<?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 (GeneralizedMorphismsForCAP) - Chapter 5: Conversion functors for generalized morphisms</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="chap5" 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="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="chap4_mj.html" >[Previous Chapter]</a> <a href="chap6_mj.html" >[Next Chapter]</a> </div >"mathjaxlink" class="pcenter" ><a href="chap5.html" >[MathJax off]</a></p>"X83C47FBC7D238AD6" name="X83C47FBC7D238AD6" ></a></p>div class="ChapSects" ><a href="chap5_mj.html#X83C47FBC7D238AD6" >5 <span class="Heading" >Conversion functors for generalized morphisms</span ></a>div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chap5_mj.html#X7FBE737787FB4785" >5.1 <span class="Heading" >Functors from Cospans</span ></a>span >div class="ContSSBlock" >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap5_mj.html#X79C6FF647D725997" >5.1-1 FunctorFromCospansToThreeArrows</a></span >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap5_mj.html#X8092A53484B9D89E" >5.1-2 FunctorFromCospansToSpans</a></span >div ></div >div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chap5_mj.html#X828C320C7CE9AAEF" >5.2 <span class="Heading" >Functors from Spans</span ></a>span >div class="ContSSBlock" >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap5_mj.html#X7A250CED7862BD61" >5.2-1 FunctorFromSpansToThreeArrows</a></span >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap5_mj.html#X80EAF5547D5E3A08" >5.2-2 FunctorFromSpansToCospans</a></span >div ></div >div class="ContSect" ><span class="tocline" ><span class="nocss" > </span ><a href="chap5_mj.html#X79688A9387244A81" >5.3 <span class="Heading" >Functors from Three Arrows</span ></a>span >div class="ContSSBlock" >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap5_mj.html#X805E300E7CBA3F18" >5.3-1 FunctorFromThreeArrowsToCospans</a></span >span class="ContSS" ><br /><span class="nocss" > </span ><a href="chap5_mj.html#X7E0E745085802E80" >5.3-2 FunctorFromThreeArrowsToSpans</a></span >div ></div >div >span class="Heading" >Conversion functors for generalized morphisms</span ></h3>"X7FBE737787FB4785" name="X7FBE737787FB4785" ></a></p>span class="Heading" >Functors from Cospans</span ></h4>"X79C6FF647D725997" name="X79C6FF647D725997" ></a></p>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ FunctorFromCospansToThreeArrows</code >( <var class="Arg" >C</var > )</td ><td class="tdright" >( attribute )</td ></tr ></table ></div >var class="Arg" >C</var >, this attribute is the functor from the cospan generalized morphism category of <var class="Arg" >C</var > to the generalized morphism category modeled by three arrows.</p>"X8092A53484B9D89E" name="X8092A53484B9D89E" ></a></p>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ FunctorFromCospansToSpans</code >( <var class="Arg" >C</var > )</td ><td class="tdright" >( attribute )</td tr ></table ></div >var class="Arg" >C</var >, this attribute is the functor from the cospan generalized morphism category of <var class="Arg" >C</var > to the generalized morphism category modeled by spans.</p>"X828C320C7CE9AAEF" name="X828C320C7CE9AAEF" ></a></p>span class="Heading" >Functors from Spans</span ></h4>"X7A250CED7862BD61" name="X7A250CED7862BD61" ></a></p>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ FunctorFromSpansToThreeArrows</code >( <var class="Arg" >C</var > )</td ><td class="tdright" >( attribute )</td ></tr ></table ></div >var class="Arg" >C</var >, this attribute is the functor from the span generalized morphism category of <var class="Arg" >C</var > to the generalized morphism category modeled by three arrows.</p>"X80EAF5547D5E3A08" name="X80EAF5547D5E3A08" ></a></p>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ FunctorFromSpansToCospans</code >( <var class="Arg" >C</var > )</td ><td class="tdright" >( attribute )</td tr ></table ></div >var class="Arg" >C</var >, this attribute is the functor from the span generalized morphism category of <var class="Arg" >C</var > to the generalized morphism category modeled by cospans.</p>"X79688A9387244A81" name="X79688A9387244A81" ></a></p>span class="Heading" >Functors from Three Arrows</span ></h4>"X805E300E7CBA3F18" name="X805E300E7CBA3F18" ></a></p>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ FunctorFromThreeArrowsToCospans</code >( <var class="Arg" >C</var > )</td ><td class="tdright" >( attribute )</td ></tr ></table ></div >var class="Arg" >C</var >, this attribute is the functor from the three arrow generalized morphism category of <var class="Arg" >C</var > to the generalized morphism category modeled by cospans.</p>"X7E0E745085802E80" name="X7E0E745085802E80" ></a></p>div class="func" ><table class="func" width="100%" ><tr ><td class="tdleft" ><code class="func" >‣ FunctorFromThreeArrowsToSpans</code >( <var class="Arg" >C</var > )</td ><td class="tdright" >( attribute )</td ></tr ></table ></div >var class="Arg" >C</var >, this attribute is the functor from the three arrow generalized morphism category of <var class="Arg" >C</var > to the generalized morphism category modeled by spans.</p>div class="chlinkprevnextbot" > <a href="chap0_mj.html" >[Top of Book]</a> <a href="chap0_mj.html#contents" >[Contents]</a> <a href="chap4_mj.html" >[Previous Chapter]</a> <a href="chap6_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="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 97%
¤ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
