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

Quelle  chap1_mj.html   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/monoidalcategories/doc/chap1_mj.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>
<script type="text/javascript"
  src="https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</script>
<title>GAP (MonoidalCategories) - Chapter 1: Monoidal Categories</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="chap1"  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="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="chap0_mj.html">[Previous Chapter]</a>    <a href="chap2_mj.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap1.html">[MathJax off]</a></p>
<p><a id="X808DC49C7ED99B52" name="X808DC49C7ED99B52"></a></p>
<div class="ChapSects"><a href="chap1_mj.html#X808DC49C7ED99B52">1 <span class="Heading">Monoidal Categories</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X808DC49C7ED99B52">1.1 <span class="Heading">Monoidal Categories</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X84997A1E8188D6BE">1.1-1 TensorProductOnMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X85008BF07C2C0386">1.1-2 TensorProductOnMorphismsWithGivenTensorProducts</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X84C2FAEA7B9678AA">1.1-3 AssociatorRightToLeft</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X85645C4D86060ED2">1.1-4 AssociatorRightToLeftWithGivenTensorProducts</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7C5A064C7E1995F1">1.1-5 AssociatorLeftToRight</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7C59D73F8389E389">1.1-6 AssociatorLeftToRightWithGivenTensorProducts</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7EBCAFDD81BDB655">1.1-7 LeftUnitor</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7ED284DF7BA21774">1.1-8 LeftUnitorWithGivenTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X79A274078147A9F7">1.1-9 LeftUnitorInverse</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X849609447CAE996B">1.1-10 LeftUnitorInverseWithGivenTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X82F758CB7A23468A">1.1-11 RightUnitor</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X84C8F97F7BF2282D">1.1-12 RightUnitorWithGivenTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X82DC825480E87301">1.1-13 RightUnitorInverse</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X85A8A87C87B33008">1.1-14 RightUnitorInverseWithGivenTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X797034F17AA47EE0">1.1-15 TensorProductOnObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7BF7FFDF8789474A">1.1-16 TensorUnit</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X7FB8551A815BEC53">1.2 <span class="Heading">Additive Monoidal Categories</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7ACF268E7D82B0C9">1.2-1 LeftDistributivityExpanding</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7CA18968862D2285">1.2-2 LeftDistributivityExpandingWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X780322FE7E5A626D">1.2-3 LeftDistributivityFactoring</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X784D8CD685F5F021">1.2-4 LeftDistributivityFactoringWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8409C74778A4313A">1.2-5 RightDistributivityExpanding</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7DBE629F811DEADC">1.2-6 RightDistributivityExpandingWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X86C5C33786C1DC28">1.2-7 RightDistributivityFactoring</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X795267217F7807CE">1.2-8 RightDistributivityFactoringWithGivenObjects</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X7D94AD967E6D60F1">1.3 <span class="Heading">Braided Monoidal Categories</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7C6ADBFE7A8DD1E3">1.3-1 Braiding</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7F4B09A87B2500C0">1.3-2 BraidingWithGivenTensorProducts</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8195EC5279D3E8D0">1.3-3 BraidingInverse</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X854AFBC67C836769">1.3-4 BraidingInverseWithGivenTensorProducts</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X85ED71067F7CEA82">1.4 <span class="Heading">Symmetric Monoidal Categories</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X85035E9683B050D0">1.5 <span class="Heading">Left Closed Monoidal Categories</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X87A4C0637EB8A18E">1.5-1 LeftInternalHomOnObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8439FF407D2C9C6E">1.5-2 LeftInternalHomOnMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7861C2AD82F62C77">1.5-3 LeftInternalHomOnMorphismsWithGivenLeftInternalHoms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X82C4FACF83C3611D">1.5-4 LeftClosedMonoidalEvaluationMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8575A3748713EACF">1.5-5 LeftClosedMonoidalEvaluationMorphismWithGivenSource</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7A526C59812F2A59">1.5-6 LeftClosedMonoidalCoevaluationMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7BC7F1497A00E87A">1.5-7 LeftClosedMonoidalCoevaluationMorphismWithGivenRange</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X83A5A47979C9B92D">1.5-8 TensorProductToLeftInternalHomAdjunctMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7BB734AA7F213B47">1.5-9 TensorProductToLeftInternalHomAdjunctMorphismWithGivenLeftInternalHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7C7D769879A7DA90">1.5-10 LeftInternalHomToTensorProductAdjunctMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X80431C73861AEC43">1.5-11 LeftInternalHomToTensorProductAdjunctMorphismWithGivenTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X79AC308B847F5177">1.5-12 LeftClosedMonoidalPreComposeMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X78E3E67480AC81F4">1.5-13 LeftClosedMonoidalPreComposeMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7CFBE32D7F8F16CD">1.5-14 LeftClosedMonoidalPostComposeMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7D5E05257D908A56">1.5-15 LeftClosedMonoidalPostComposeMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X859959ED7F2CFDCC">1.5-16 LeftDualOnObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7B697FFC7B23A48B">1.5-17 LeftDualOnMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8282E454874316D8">1.5-18 LeftDualOnMorphismsWithGivenLeftDuals</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7FF3227087ABDA8E">1.5-19 LeftClosedMonoidalEvaluationForLeftDual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X86995E4D7A63E68F">1.5-20 LeftClosedMonoidalEvaluationForLeftDualWithGivenTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X85D2B94A85E3DBD5">1.5-21 MorphismToLeftBidual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X868774B68189D7E9">1.5-22 MorphismToLeftBidualWithGivenLeftBidual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7939CEE8854017D2">1.5-23 TensorProductLeftInternalHomCompatibilityMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X798C160A84CA5623">1.5-24 TensorProductLeftInternalHomCompatibilityMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8635D47E7835C8AA">1.5-25 TensorProductLeftDualityCompatibilityMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8435799E83221130">1.5-26 TensorProductLeftDualityCompatibilityMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X80FE157E81B02827">1.5-27 MorphismFromTensorProductToLeftInternalHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X78FDDC2986E50825">1.5-28 MorphismFromTensorProductToLeftInternalHomWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7EA425DA848670D9">1.5-29 IsomorphismFromLeftDualObjectToLeftInternalHomIntoTensorUnit</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X781A2D417A8BC8DF">1.5-30 IsomorphismFromLeftInternalHomIntoTensorUnitToLeftDualObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X82D9D78C7A8DA61A">1.5-31 UniversalPropertyOfLeftDual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7C7A252A78484873">1.5-32 LeftClosedMonoidalLambdaIntroduction</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X83B3A8FA8363F620">1.5-33 LeftClosedMonoidalLambdaElimination</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7ECAB43778388C41">1.5-34 IsomorphismFromObjectToLeftInternalHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X874D7D8E81A6AFF1">1.5-35 IsomorphismFromObjectToLeftInternalHomWithGivenLeftInternalHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7908CF267DDAA38C">1.5-36 IsomorphismFromLeftInternalHomToObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7B2F235C8444803C">1.5-37 IsomorphismFromLeftInternalHomToObjectWithGivenLeftInternalHom</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X7BC682067A30E580">1.6 <span class="Heading">Closed Monoidal Categories</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X78AA83E77B380D68">1.6-1 InternalHomOnObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7C0191A483A72F98">1.6-2 InternalHomOnMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X861226B47B5CB713">1.6-3 InternalHomOnMorphismsWithGivenInternalHoms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X844F05DF7DE23F99">1.6-4 ClosedMonoidalRightEvaluationMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X83E6461280B0EB0C">1.6-5 ClosedMonoidalRightEvaluationMorphismWithGivenSource</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7A745E5A836B5E91">1.6-6 ClosedMonoidalRightCoevaluationMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X868AD1A278EBAB03">1.6-7 ClosedMonoidalRightCoevaluationMorphismWithGivenRange</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7BA9C4A184346304">1.6-8 TensorProductToInternalHomRightAdjunctMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8218B01287CD44E5">1.6-9 TensorProductToInternalHomRightAdjunctMorphismWithGivenInternalHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X78A16762823E5F1C">1.6-10 TensorProductToInternalHomRightAdjunctionIsomorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X81D37FA282FC8F11">1.6-11 TensorProductToInternalHomRightAdjunctionIsomorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8271B2767A2DFE76">1.6-12 InternalHomToTensorProductRightAdjunctMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7ACBB0CE7FA4C781">1.6-13 InternalHomToTensorProductRightAdjunctMorphismWithGivenTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X79EEE4757C27C26E">1.6-14 InternalHomToTensorProductRightAdjunctionIsomorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7B4CD74A7CE51263">1.6-15 InternalHomToTensorProductRightAdjunctionIsomorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X80B3C53A854B515B">1.6-16 ClosedMonoidalLeftEvaluationMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X84E1E136819BDA89">1.6-17 ClosedMonoidalLeftEvaluationMorphismWithGivenSource</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7E35DEB787A71A1F">1.6-18 ClosedMonoidalLeftCoevaluationMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8196CE5D7C88D83C">1.6-19 ClosedMonoidalLeftCoevaluationMorphismWithGivenRange</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X80A58B1F80A186BD">1.6-20 TensorProductToInternalHomLeftAdjunctMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7CCE373482D60A57">1.6-21 TensorProductToInternalHomLeftAdjunctMorphismWithGivenInternalHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X793BAA50819573E4">1.6-22 TensorProductToInternalHomLeftAdjunctionIsomorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X791276987824CDF8">1.6-23 TensorProductToInternalHomLeftAdjunctionIsomorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X85F426677EB81BCF">1.6-24 InternalHomToTensorProductLeftAdjunctMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X859B738881052D1C">1.6-25 InternalHomToTensorProductLeftAdjunctMorphismWithGivenTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X86AD79F17F8CEE96">1.6-26 InternalHomToTensorProductLeftAdjunctionIsomorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7D707B26863D508A">1.6-27 InternalHomToTensorProductLeftAdjunctionIsomorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X86E4E97C82BFB45C">1.6-28 MonoidalPreComposeMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7FE4A52284060F20">1.6-29 MonoidalPreComposeMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X79F4FCE781385829">1.6-30 MonoidalPostComposeMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7E6933B8816EE4E3">1.6-31 MonoidalPostComposeMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X80FFC71D7E57DD53">1.6-32 DualOnObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X815C0BC47D000819">1.6-33 DualOnMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7DCC0F468386AA46">1.6-34 DualOnMorphismsWithGivenDuals</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X86D42C7587F03A68">1.6-35 EvaluationForDual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7B588B1B8472834E">1.6-36 EvaluationForDualWithGivenTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7F68B55781C1DFB1">1.6-37 MorphismToBidual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X79260E5680F1E741">1.6-38 MorphismToBidualWithGivenBidual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X80CDA0CB821E08EE">1.6-39 TensorProductInternalHomCompatibilityMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7B0194A07AB73486">1.6-40 TensorProductInternalHomCompatibilityMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7D173DB08132E40A">1.6-41 TensorProductDualityCompatibilityMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X794ED97782B8DF76">1.6-42 TensorProductDualityCompatibilityMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8439BFF57BFE390F">1.6-43 MorphismFromTensorProductToInternalHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8473D28B7F3A5E20">1.6-44 MorphismFromTensorProductToInternalHomWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8430726C82D6CFF7">1.6-45 IsomorphismFromDualObjectToInternalHomIntoTensorUnit</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7A015736812A97C6">1.6-46 IsomorphismFromInternalHomIntoTensorUnitToDualObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7AF8F68887146C20">1.6-47 UniversalPropertyOfDual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X80F3F2287B9E55E3">1.6-48 LambdaIntroduction</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X79EC44077F661E80">1.6-49 LambdaElimination</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8726BA888787D53D">1.6-50 IsomorphismFromObjectToInternalHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X87F91EF37C76A7F7">1.6-51 IsomorphismFromObjectToInternalHomWithGivenInternalHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X831CF4E1824FA178">1.6-52 IsomorphismFromInternalHomToObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7988DC7C79BED3B2">1.6-53 IsomorphismFromInternalHomToObjectWithGivenInternalHom</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X86546D277A535EB1">1.7 <span class="Heading">Left Coclosed Monoidal Categories</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7CE5D10B7F10E9CC">1.7-1 LeftInternalCoHomOnObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X853213767BB48099">1.7-2 LeftInternalCoHomOnMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7F302E3880752A2F">1.7-3 LeftInternalCoHomOnMorphismsWithGivenLeftInternalCoHoms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X819A762D83B1C294">1.7-4 LeftCoclosedMonoidalEvaluationMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7E5607B1789E00B7">1.7-5 LeftCoclosedMonoidalEvaluationMorphismWithGivenRange</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X81A249CE84828A9D">1.7-6 LeftCoclosedMonoidalCoevaluationMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7D1018A284F21140">1.7-7 LeftCoclosedMonoidalCoevaluationMorphismWithGivenSource</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X851216B2807B3900">1.7-8 TensorProductToLeftInternalCoHomAdjunctMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X87BFA0FA7AFF2868">1.7-9 TensorProductToLeftInternalCoHomAdjunctMorphismWithGivenLeftInternalCoHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7DDDACD58454C3A4">1.7-10 LeftInternalCoHomToTensorProductAdjunctMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X821AC96981CA794C">1.7-11 LeftInternalCoHomToTensorProductAdjunctMorphismWithGivenTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8416357982DCBEE4">1.7-12 LeftCoclosedMonoidalPreCoComposeMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7EECDE4583E14A59">1.7-13 LeftCoclosedMonoidalPreCoComposeMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X80A270E982F5BC2D">1.7-14 LeftCoclosedMonoidalPostCoComposeMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X867C6F087D72AB3F">1.7-15 LeftCoclosedMonoidalPostCoComposeMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X85A63AA57F0678EE">1.7-16 LeftCoDualOnObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7949DE307D2D5083">1.7-17 LeftCoDualOnMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X84C835CB7E708596">1.7-18 LeftCoDualOnMorphismsWithGivenLeftCoDuals</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7A20AC6A837F79BA">1.7-19 LeftCoclosedMonoidalEvaluationForLeftCoDual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X87B15AC678955783">1.7-20 LeftCoclosedMonoidalEvaluationForLeftCoDualWithGivenTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7F67676A85A47BDB">1.7-21 MorphismFromLeftCoBidual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7AF5F77180E09AAE">1.7-22 MorphismFromLeftCoBidualWithGivenLeftCoBidual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X84331A1B7F62782F">1.7-23 LeftInternalCoHomTensorProductCompatibilityMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X808BEB0879D58CAF">1.7-24 LeftInternalCoHomTensorProductCompatibilityMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7B4A66A8803C99BA">1.7-25 LeftCoDualityTensorProductCompatibilityMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X86E72092788A8F2D">1.7-26 LeftCoDualityTensorProductCompatibilityMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7A5FDE4B83C5F328">1.7-27 MorphismFromLeftInternalCoHomToTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7BD2A33F84A2FBAB">1.7-28 MorphismFromLeftInternalCoHomToTensorProductWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7CC10C9E7EA7EED4">1.7-29 IsomorphismFromLeftCoDualObjectToLeftInternalCoHomFromTensorUnit</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X87F96B047F320A17">1.7-30 IsomorphismFromLeftInternalCoHomFromTensorUnitToLeftCoDualObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7A0DE1667FF28457">1.7-31 UniversalPropertyOfLeftCoDual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X85960F7479FFA8DA">1.7-32 LeftCoclosedMonoidalLambdaIntroduction</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8721DDEC7DF9D89D">1.7-33 LeftCoclosedMonoidalLambdaElimination</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X853342457CC3B489">1.7-34 IsomorphismFromObjectToLeftInternalCoHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X82709BED807CB6FC">1.7-35 IsomorphismFromObjectToLeftInternalCoHomWithGivenLeftInternalCoHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X806C843B82108148">1.7-36 IsomorphismFromLeftInternalCoHomToObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8370164B7EAF833D">1.7-37 IsomorphismFromLeftInternalCoHomToObjectWithGivenLeftInternalCoHom</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X8197D69B805349AC">1.8 <span class="Heading">Coclosed Monoidal Categories</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X791BE0B0847A430D">1.8-1 InternalCoHomOnObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7FDF105D7F56EB53">1.8-2 InternalCoHomOnMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X84DDA3DD878162B9">1.8-3 InternalCoHomOnMorphismsWithGivenInternalCoHoms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X83CEC88D79AE5684">1.8-4 CoclosedMonoidalRightEvaluationMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X79333EC9822EA316">1.8-5 CoclosedMonoidalRightEvaluationMorphismWithGivenRange</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X80CA11547F3909E3">1.8-6 CoclosedMonoidalRightCoevaluationMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7F1C10897EC4D14E">1.8-7 CoclosedMonoidalRightCoevaluationMorphismWithGivenSource</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X82B0937678F04730">1.8-8 TensorProductToInternalCoHomRightAdjunctMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X833D7B567810D7F3">1.8-9 TensorProductToInternalCoHomRightAdjunctMorphismWithGivenInternalCoHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8623CC567D687FFD">1.8-10 InternalCoHomToTensorProductRightAdjunctMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X821B5212835BD1F6">1.8-11 InternalCoHomToTensorProductRightAdjunctMorphismWithGivenTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X81020D9E85C3280A">1.8-12 CoclosedMonoidalLeftEvaluationMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7A1801D77EECEA29">1.8-13 CoclosedMonoidalLeftEvaluationMorphismWithGivenRange</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7D6905F582F06003">1.8-14 CoclosedMonoidalLeftCoevaluationMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X802A3FC48280FBDE">1.8-15 CoclosedMonoidalLeftCoevaluationMorphismWithGivenSource</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7FB4953B7F813D0B">1.8-16 TensorProductToInternalCoHomLeftAdjunctMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8312DB0A82A97D4B">1.8-17 TensorProductToInternalCoHomLeftAdjunctMorphismWithGivenInternalCoHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7A7FC1957A1905C6">1.8-18 InternalCoHomToTensorProductLeftAdjunctMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X85F970897F87BF2E">1.8-19 InternalCoHomToTensorProductLeftAdjunctMorphismWithGivenTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8337DE6B7D61EAC2">1.8-20 MonoidalPreCoComposeMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X82A183B0807A0A01">1.8-21 MonoidalPreCoComposeMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X83FE0B8D853A76C1">1.8-22 MonoidalPostCoComposeMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X805DF38880B1E9E0">1.8-23 MonoidalPostCoComposeMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X817A1F7986256461">1.8-24 CoDualOnObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X840CBC837926138E">1.8-25 CoDualOnMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X79750BFD824D2AAF">1.8-26 CoDualOnMorphismsWithGivenCoDuals</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7C65C05A788415E4">1.8-27 CoclosedEvaluationForCoDual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7CAB615C86D97CE8">1.8-28 CoclosedEvaluationForCoDualWithGivenTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7841B6757A510799">1.8-29 MorphismFromCoBidual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7B2B002979E1CBF6">1.8-30 MorphismFromCoBidualWithGivenCoBidual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7D9E57197C820E0E">1.8-31 InternalCoHomTensorProductCompatibilityMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X81E9DC8D7FCD361F">1.8-32 InternalCoHomTensorProductCompatibilityMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7B817BC97C1F1DF8">1.8-33 CoDualityTensorProductCompatibilityMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X82119ED686D3874C">1.8-34 CoDualityTensorProductCompatibilityMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7A4971267B80B14F">1.8-35 MorphismFromInternalCoHomToTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7B60FB927C37E125">1.8-36 MorphismFromInternalCoHomToTensorProductWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X86C7E40C85318EFA">1.8-37 IsomorphismFromCoDualObjectToInternalCoHomFromTensorUnit</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X84C86E29800BB8BC">1.8-38 IsomorphismFromInternalCoHomFromTensorUnitToCoDualObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7AEE412D80799D09">1.8-39 UniversalPropertyOfCoDual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X784CBFB984E66E7A">1.8-40 CoLambdaIntroduction</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X83520B098068CF62">1.8-41 CoLambdaElimination</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X83F11F6184DBD507">1.8-42 IsomorphismFromObjectToInternalCoHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8233C995828387E9">1.8-43 IsomorphismFromObjectToInternalCoHomWithGivenInternalCoHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X875A349280E2095C">1.8-44 IsomorphismFromInternalCoHomToObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X858AD1F986BA5BB2">1.8-45 IsomorphismFromInternalCoHomToObjectWithGivenInternalCoHom</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X849F4CB58466EAEB">1.9 <span class="Heading">Symmetric Closed Monoidal Categories</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X86F60BCA79C63F20">1.10 <span class="Heading">Symmetric Coclosed Monoidal Categories</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X805AEF9784062A31">1.11 <span class="Heading">Rigid Symmetric Closed Monoidal Categories</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X782B629D7E7835C9">1.11-1 IsomorphismFromTensorProductWithDualObjectToInternalHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X84D0668C7CA0B63D">1.11-2 IsomorphismFromInternalHomToTensorProductWithDualObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7D189B8280CECBA2">1.11-3 MorphismFromInternalHomToTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7D10805D840AAC8D">1.11-4 MorphismFromInternalHomToTensorProductWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X85BA8C10817296F7">1.11-5 TensorProductInternalHomCompatibilityMorphismInverse</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7CCE67B281EF45C1">1.11-6 TensorProductInternalHomCompatibilityMorphismInverseWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X83849B327C8074E9">1.11-7 CoevaluationForDual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7C65E6A97AAE0DE3">1.11-8 CoevaluationForDualWithGivenTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X85D0C9487A22AFFE">1.11-9 TraceMap</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X82F0DBD485D93793">1.11-10 RankMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7E02E8197EA201EA">1.11-11 MorphismFromBidual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X785CF0BB7BC0AC0D">1.11-12 MorphismFromBidualWithGivenBidual</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X79E86CAD853AB883">1.12 <span class="Heading">Rigid Symmetric Coclosed Monoidal Categories</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X82D4EF587F1C194C">1.12-1 IsomorphismFromInternalCoHomToTensorProductWithCoDualObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7FE736BA834D228A">1.12-2 IsomorphismFromTensorProductWithCoDualObjectToInternalCoHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7DCA54857A6B45DF">1.12-3 MorphismFromTensorProductToInternalCoHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7888F9947DDC15B5">1.12-4 MorphismFromTensorProductToInternalCoHomWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7E71AF0985C5AEC5">1.12-5 InternalCoHomTensorProductCompatibilityMorphismInverse</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X87BF8BE67AD5ABCF">1.12-6 InternalCoHomTensorProductCompatibilityMorphismInverseWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8695F9D97A8C6C61">1.12-7 CoclosedCoevaluationForCoDual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X78B2703A7B81E340">1.12-8 CoclosedCoevaluationForCoDualWithGivenTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X829BE5F97A656200">1.12-9 CoTraceMap</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7C5CC8F97D95AD43">1.12-10 CoRankMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X85BDB94D85C67725">1.12-11 MorphismToCoBidual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X800035BF867418D0">1.12-12 MorphismToCoBidualWithGivenCoBidual</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X7B40ED8B78D067A5">1.13 <span class="Heading">Convenience Methods</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8055FF847AC2102A">1.13-1 InternalHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7CB6A9497A971F59">1.13-2 InternalCoHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X82DE5FDA794914A0">1.13-3 LeftInternalHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X862E6A787C9E1F92">1.13-4 LeftInternalCoHom</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X85C8C80F785AEB5E">1.14 <span class="Heading">Add-methods</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X78DA7EC37A1E0CCC">1.14-1 AddLeftDistributivityExpanding</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X814BA200802D26E4">1.14-2 AddLeftDistributivityExpandingWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8381C23A8264435B">1.14-3 AddLeftDistributivityFactoring</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7F0A439478576973">1.14-4 AddLeftDistributivityFactoringWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X82E93F8E79CB7338">1.14-5 AddRightDistributivityExpanding</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7A6178C17EFC817A">1.14-6 AddRightDistributivityExpandingWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X79B283777BC5F12C">1.14-7 AddRightDistributivityFactoring</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X842099557CF2036E">1.14-8 AddRightDistributivityFactoringWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7F9C3FD38397D9D4">1.14-9 AddBraiding</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8423AA1A862E9780">1.14-10 AddBraidingInverse</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X85C7E40583A5955F">1.14-11 AddBraidingInverseWithGivenTensorProducts</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7A52CBE8801D6B28">1.14-12 AddBraidingWithGivenTensorProducts</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7996A3A980BD5783">1.14-13 AddClosedMonoidalLeftCoevaluationMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7FD9DC1D870FB3D2">1.14-14 AddClosedMonoidalLeftCoevaluationMorphismWithGivenRange</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X82E0E46E7B374DA9">1.14-15 AddClosedMonoidalLeftEvaluationMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8742C27B7D30E543">1.14-16 AddClosedMonoidalLeftEvaluationMorphismWithGivenSource</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X870332B286200F2A">1.14-17 AddClosedMonoidalRightCoevaluationMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7A06D2CC79874E18">1.14-18 AddClosedMonoidalRightCoevaluationMorphismWithGivenRange</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X82FD88E87B30334F">1.14-19 AddClosedMonoidalRightEvaluationMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7ECDA3E47F267341">1.14-20 AddClosedMonoidalRightEvaluationMorphismWithGivenSource</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X800DFCF37CC10CCC">1.14-21 AddDualOnMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X85DA12C581E673DE">1.14-22 AddDualOnMorphismsWithGivenDuals</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7BB4DD5381EBF082">1.14-23 AddDualOnObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7FF9C96186646B7C">1.14-24 AddEvaluationForDual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7CB63A4E7E905CD4">1.14-25 AddEvaluationForDualWithGivenTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X79A5E1EF7F091948">1.14-26 AddInternalHomOnMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8070203E80388349">1.14-27 AddInternalHomOnMorphismsWithGivenInternalHoms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7B74F8FD8348D590">1.14-28 AddInternalHomOnObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X87D40CEF8247DF33">1.14-29 AddInternalHomToTensorProductLeftAdjunctMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X82D3E7BD7DD67116">1.14-30 AddInternalHomToTensorProductLeftAdjunctMorphismWithGivenTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7BBC91088476613F">1.14-31 AddInternalHomToTensorProductLeftAdjunctionIsomorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X789D0ED680E7D176">1.14-32 AddInternalHomToTensorProductLeftAdjunctionIsomorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X84B3BDBF8294E790">1.14-33 AddInternalHomToTensorProductRightAdjunctMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X807104E57D50EEB9">1.14-34 AddInternalHomToTensorProductRightAdjunctMorphismWithGivenTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8634234A855F18D5">1.14-35 AddInternalHomToTensorProductRightAdjunctionIsomorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7A3FED8E84CD4A02">1.14-36 AddInternalHomToTensorProductRightAdjunctionIsomorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7983CB57783E6813">1.14-37 AddIsomorphismFromDualObjectToInternalHomIntoTensorUnit</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X84E4949886CB84C9">1.14-38 AddIsomorphismFromInternalHomIntoTensorUnitToDualObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7FA9FE2B85CE866D">1.14-39 AddIsomorphismFromInternalHomToObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7D6421147BF6651B">1.14-40 AddIsomorphismFromInternalHomToObjectWithGivenInternalHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X82538F687DE872DD">1.14-41 AddIsomorphismFromObjectToInternalHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X78ED7FCC83D091AB">1.14-42 AddIsomorphismFromObjectToInternalHomWithGivenInternalHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8406FBCD7EE968FF">1.14-43 AddLambdaElimination</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X84944B6283F2802A">1.14-44 AddLambdaIntroduction</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X843DC64486CB2ED1">1.14-45 AddMonoidalPostComposeMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7FC3725A7CF804F9">1.14-46 AddMonoidalPostComposeMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7B0C198782C01CBA">1.14-47 AddMonoidalPreComposeMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7A22CD657A2A338C">1.14-48 AddMonoidalPreComposeMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7CF664D87D8D5CA1">1.14-49 AddMorphismFromTensorProductToInternalHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X86D3AF4A80FA738D">1.14-50 AddMorphismFromTensorProductToInternalHomWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X864B98B08041EE6C">1.14-51 AddMorphismToBidual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X84C05B087EFCE599">1.14-52 AddMorphismToBidualWithGivenBidual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7A020DBF860317F5">1.14-53 AddTensorProductDualityCompatibilityMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X78D1B6AF8654A950">1.14-54 AddTensorProductDualityCompatibilityMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X83A6EF0B7ED71EED">1.14-55 AddTensorProductInternalHomCompatibilityMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X871C6B55843A0AF3">1.14-56 AddTensorProductInternalHomCompatibilityMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X817EAD878544BF68">1.14-57 AddTensorProductToInternalHomLeftAdjunctMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7B2FEF0985C2FACE">1.14-58 AddTensorProductToInternalHomLeftAdjunctMorphismWithGivenInternalHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X85A8D11983750164">1.14-59 AddTensorProductToInternalHomLeftAdjunctionIsomorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7AE873FD87E4B12D">1.14-60 AddTensorProductToInternalHomLeftAdjunctionIsomorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7AF5FBEE859787CB">1.14-61 AddTensorProductToInternalHomRightAdjunctMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X86B3F2BF813AFBDA">1.14-62 AddTensorProductToInternalHomRightAdjunctMorphismWithGivenInternalHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X79777C5F825C788E">1.14-63 AddTensorProductToInternalHomRightAdjunctionIsomorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X86FD5F8A83CE2A59">1.14-64 AddTensorProductToInternalHomRightAdjunctionIsomorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7FCEDB3B7DF69A1E">1.14-65 AddUniversalPropertyOfDual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7D23088385F021AA">1.14-66 AddCoDualOnMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7C2568FD82259231">1.14-67 AddCoDualOnMorphismsWithGivenCoDuals</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7C1CDE7F855ACB74">1.14-68 AddCoDualOnObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7D9B355D8261CB17">1.14-69 AddCoDualityTensorProductCompatibilityMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7CE8010980DBA597">1.14-70 AddCoDualityTensorProductCompatibilityMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7E7962CC7E809023">1.14-71 AddCoLambdaElimination</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7C3868657D8A0400">1.14-72 AddCoLambdaIntroduction</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X839204FD79F2968D">1.14-73 AddCoclosedEvaluationForCoDual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X803976DB7C8F307C">1.14-74 AddCoclosedEvaluationForCoDualWithGivenTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X829CAF887FAC5BF0">1.14-75 AddCoclosedMonoidalLeftCoevaluationMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7E7EBA4381366E7A">1.14-76 AddCoclosedMonoidalLeftCoevaluationMorphismWithGivenSource</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X81EC6B3E80876BC8">1.14-77 AddCoclosedMonoidalLeftEvaluationMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X839DE15C87358F99">1.14-78 AddCoclosedMonoidalLeftEvaluationMorphismWithGivenRange</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X78A8CB687ADC4653">1.14-79 AddCoclosedMonoidalRightCoevaluationMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X783C75CD79B2E8C9">1.14-80 AddCoclosedMonoidalRightCoevaluationMorphismWithGivenSource</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X85F82B2F84E55DD2">1.14-81 AddCoclosedMonoidalRightEvaluationMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X86DC2EF07B421CE0">1.14-82 AddCoclosedMonoidalRightEvaluationMorphismWithGivenRange</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7D63C4A57A467DAA">1.14-83 AddInternalCoHomOnMorphisms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X87A67CDD86E0CE05">1.14-84 AddInternalCoHomOnMorphismsWithGivenInternalCoHoms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X828648F183570AE3">1.14-85 AddInternalCoHomOnObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X78278696834ACA53">1.14-86 AddInternalCoHomTensorProductCompatibilityMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X82EA4C857C7BCC60">1.14-87 AddInternalCoHomTensorProductCompatibilityMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7C7256EE79374540">1.14-88 AddInternalCoHomToTensorProductLeftAdjunctMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X84EBD01D7843FAAD">1.14-89 AddInternalCoHomToTensorProductLeftAdjunctMorphismWithGivenTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X858ED26087369677">1.14-90 AddInternalCoHomToTensorProductRightAdjunctMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7E97DAC0782AACEC">1.14-91 AddInternalCoHomToTensorProductRightAdjunctMorphismWithGivenTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7A2B14497B4924A7">1.14-92 AddIsomorphismFromCoDualObjectToInternalCoHomFromTensorUnit</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8143326C7BE5E321">1.14-93 AddIsomorphismFromInternalCoHomFromTensorUnitToCoDualObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7C9F35A779395B26">1.14-94 AddIsomorphismFromInternalCoHomToObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7D0E88AC7C0304D3">1.14-95 AddIsomorphismFromInternalCoHomToObjectWithGivenInternalCoHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7E18F31C86620139">1.14-96 AddIsomorphismFromObjectToInternalCoHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8304276383585ECC">1.14-97 AddIsomorphismFromObjectToInternalCoHomWithGivenInternalCoHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7DE479077F155716">1.14-98 AddMonoidalPostCoComposeMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X79858B577BD4F1E1">1.14-99 AddMonoidalPostCoComposeMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7D1662EA819EA1A2">1.14-100 AddMonoidalPreCoComposeMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X81DFED7386A953E0">1.14-101 AddMonoidalPreCoComposeMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7D1615257BAA311F">1.14-102 AddMorphismFromCoBidual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X84D1F74D8118B2A0">1.14-103 AddMorphismFromCoBidualWithGivenCoBidual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7C3C01F1834A4B9B">1.14-104 AddMorphismFromInternalCoHomToTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X87AB2C4D84F19F37">1.14-105 AddMorphismFromInternalCoHomToTensorProductWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7C0E0CF87FEFEB0D">1.14-106 AddTensorProductToInternalCoHomLeftAdjunctMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7A838651781657DA">1.14-107 AddTensorProductToInternalCoHomLeftAdjunctMorphismWithGivenInternalCoHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8123546E81EE383A">1.14-108 AddTensorProductToInternalCoHomRightAdjunctMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8698898584E99695">1.14-109 AddTensorProductToInternalCoHomRightAdjunctMorphismWithGivenInternalCoHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8519ECF17EC07916">1.14-110 AddUniversalPropertyOfCoDual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7F868E597F1C1AD7">1.14-111 AddIsomorphismFromLeftDualObjectToLeftInternalHomIntoTensorUnit</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X810B50C27901021C">1.14-112 AddIsomorphismFromLeftInternalHomIntoTensorUnitToLeftDualObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X87415032853E8340">1.14-113 AddIsomorphismFromLeftInternalHomToObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X83DAADEE8139DACA">1.14-114 AddIsomorphismFromLeftInternalHomToObjectWithGivenLeftInternalHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7FA337D07BCD9D5B">1.14-115 AddIsomorphismFromObjectToLeftInternalHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7EA7B1777FCAC4D1">1.14-116 AddIsomorphismFromObjectToLeftInternalHomWithGivenLeftInternalHom</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7D1E4F66851991AB">1.14-117 AddLeftClosedMonoidalCoevaluationMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7EF0D5B782AB75FA">1.14-118 AddLeftClosedMonoidalCoevaluationMorphismWithGivenRange</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7FD8142C7CBF7FB1">1.14-119 AddLeftClosedMonoidalEvaluationForLeftDual</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7A89130185CCF31D">1.14-120 AddLeftClosedMonoidalEvaluationForLeftDualWithGivenTensorProduct</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7D75530C7E938B81">1.14-121 AddLeftClosedMonoidalEvaluationMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X8535FD8E7894236B">1.14-122 AddLeftClosedMonoidalEvaluationMorphismWithGivenSource</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X869B3FD87FC09E21">1.14-123 AddLeftClosedMonoidalLambdaElimination</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7CC085AB7DBC581A">1.14-124 AddLeftClosedMonoidalLambdaIntroduction</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7BE971CB7E989544">1.14-125 AddLeftClosedMonoidalPostComposeMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7B6DBF17796A971A">1.14-126 AddLeftClosedMonoidalPostComposeMorphismWithGivenObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X799401467830D201">1.14-127 AddLeftClosedMonoidalPreComposeMorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7915D4437C9257A5">1.14-128 AddLeftClosedMonoidalPreComposeMorphismWithGivenObjects</a></span>
--> --------------------

--> maximum size reached

--> --------------------

100%


¤ Dauer der Verarbeitung: 0.19 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.