CINXE.COM

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg-flat.dtd" > <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title> lax natural transformation in nLab </title> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /> <meta name="robots" content="index,follow" /> <meta name="viewport" content="width=device-width, initial-scale=1" /> <link href="/stylesheets/instiki.css?1676280126" media="all" rel="stylesheet" type="text/css" /> <link href="/stylesheets/mathematics.css?1660229990" media="all" rel="stylesheet" type="text/css" /> <link href="/stylesheets/syntax.css?1660229990" media="all" rel="stylesheet" type="text/css" /> <link href="/stylesheets/nlab.css?1676280126" media="all" rel="stylesheet" type="text/css" /> <link rel="stylesheet" type="text/css" href="https://cdn.jsdelivr.net/gh/dreampulse/computer-modern-web-font@master/fonts.css"/> <style type="text/css"> h1#pageName, div.info, .newWikiWord a, a.existingWikiWord, .newWikiWord a:hover, [actiontype="toggle"]:hover, #TextileHelp h3 { color: #226622; } a:visited.existingWikiWord { color: #164416; } </style> <style type="text/css"><![CDATA[/*></style> <script src="/javascripts/prototype.js?1660229990" type="text/javascript"></script> <script src="/javascripts/effects.js?1660229990" type="text/javascript"></script> <script src="/javascripts/dragdrop.js?1660229990" type="text/javascript"></script> <script src="/javascripts/controls.js?1660229990" type="text/javascript"></script> <script src="/javascripts/application.js?1660229990" type="text/javascript"></script> <script src="/javascripts/page_helper.js?1660229990" type="text/javascript"></script> <script src="/javascripts/thm_numbering.js?1660229990" type="text/javascript"></script> <script type="text/x-mathjax-config"> <![CDATA[//><!]]> </script> <script type="text/javascript"> <![CDATA[//><!]]> </script> <link href="https://ncatlab.org/nlab/atom_with_headlines" rel="alternate" title="Atom with headlines" type="application/atom+xml" /> <link href="https://ncatlab.org/nlab/atom_with_content" rel="alternate" title="Atom with full content" type="application/atom+xml" /> <script type="text/javascript"> document.observe("dom:loaded", function() { generateThmNumbers(); }); </script> </head> <body> <div id="Container"> <div id="Content"> <h1 id="pageName"> <span style="float: left; margin: 0.5em 0.25em -0.25em 0"> <svg xmlns="http://www.w3.org/2000/svg" width="1.872em" height="1.8em" viewBox="0 0 190 181"> <path fill="#226622" d="M72.8 145c-1.6 17.3-15.7 10-23.6 20.2-5.6 7.3 4.8 15 11.4 15 11.5-.2 19-13.4 26.4-20.3 3.3-3 8.2-4 11.2-7.2a14 14 0 0 0 2.9-11.1c-1.4-9.6-12.4-18.6-16.9-27.2-5-9.6-10.7-27.4-24.1-27.7-17.4-.3-.4 26 4.7 30.7 2.4 2.3 5.4 4.1 7.3 6.9 1.6 2.3 2.1 5.8-1 7.2-5.9 2.6-12.4-6.3-15.5-10-8.8-10.6-15.5-23-26.2-31.8-5.2-4.3-11.8-8-18-3.7-7.3 4.9-4.2 12.9.2 18.5a81 81 0 0 0 30.7 23c3.3 1.5 12.8 5.6 10 10.7-2.5 5.2-11.7 3-15.6 1.1-8.4-3.8-24.3-21.3-34.4-13.7-3.5 2.6-2.3 7.6-1.2 11.1 2.8 9 12.2 17.2 20.9 20.5 17.3 6.7 34.3-8 50.8-12.1z"/> <path fill="#a41e32" d="M145.9 121.3c-.2-7.5 0-19.6-4.5-26-5.4-7.5-12.9-1-14.1 5.8-1.4 7.8 2.7 14.1 4.8 21.3 3.4 12 5.8 29-.8 40.1-3.6-6.7-5.2-13-7-20.4-2.1-8.2-12.8-13.2-15.1-1.9-2 9.7 9 21.2 12 30.1 1.2 4 2 8.8 6.4 10.3 6.9 2.3 13.3-4.7 17.7-8.8 12.2-11.5 36.6-20.7 43.4-36.4 6.7-15.7-13.7-14-21.3-7.2-9.1 8-11.9 20.5-23.6 25.1 7.5-23.7 31.8-37.6 38.4-61.4 2-7.3-.8-29.6-13-19.8-14.5 11.6-6.6 37.6-23.3 49.2z"/> <path fill="#193c78" d="M86.3 47.5c0-13-10.2-27.6-5.8-40.4 2.8-8.4 14.1-10.1 17-1 3.8 11.6-.3 26.3-1.8 38 11.7-.7 10.5-16 14.8-24.3 2.1-4.2 5.7-9.1 11-6.7 6 2.7 7.4 9.2 6.6 15.1-2.2 14-12.2 18.8-22.4 27-3.4 2.7-8 6.6-5.9 11.6 2 4.4 7 4.5 10.7 2.8 7.4-3.3 13.4-16.5 21.7-16 14.6.7 12 21.9.9 26.2-5 1.9-10.2 2.3-15.2 3.9-5.8 1.8-9.4 8.7-15.7 8.9-6.1.1-9-6.9-14.3-9-14.4-6-33.3-2-44.7-14.7-3.7-4.2-9.6-12-4.9-17.4 9.3-10.7 28 7.2 35.7 12 2 1.1 11 6.9 11.4 1.1.4-5.2-10-8.2-13.5-10-11.1-5.2-30-15.3-35-27.3-2.5-6 2.8-13.8 9.4-13.6 6.9.2 13.4 7 17.5 12C70.9 34 75 43.8 86.3 47.4z"/> </svg> </span> <span class="webName">nLab</span> lax natural transformation </h1> <div class="navigation"> <span class="skipNav"><a href='#navEnd'>Skip the Navigation Links</a> | </span> <span style="display:inline-block; width: 0.3em;"></span> <a href="/nlab/show/HomePage" accesskey="H" title="Home page">Home Page</a> | <a href="/nlab/all_pages" accesskey="A" title="List of all pages">All Pages</a> | <a href="/nlab/latest_revisions" accesskey="U" title="Latest edits and page creations">Latest Revisions</a> | <a href="https://nforum.ncatlab.org/discussion/1622/#Item_3" title="Discuss this page in its dedicated thread on the nForum" style="color: black">Discuss this page</a> | <form accept-charset="utf-8" action="/nlab/search" id="navigationSearchForm" method="get"> <fieldset class="search"><input type="text" id="searchField" name="query" value="Search" style="display:inline-block; float: left;" onfocus="this.value == 'Search' ? this.value = '' : true" onblur="this.value == '' ? this.value = 'Search' : true" /></fieldset> </form> <span id='navEnd'></span> </div> <div id="revision"> <html xmlns="http://www.w3.org/1999/xhtml" xmlns:svg="http://www.w3.org/2000/svg" xml:lang="en" lang="en"> <head><meta http-equiv="Content-type" content="application/xhtml+xml;charset=utf-8" /><title>Contents</title></head> <body> <div class="rightHandSide"> <div class="toc clickDown" tabindex="0"> <h3 id="context">Context</h3> <h4 id="2category_theory">2-Category theory</h4> <div class="hide"><div> <p><strong><a class="existingWikiWord" href="/nlab/show/2-category+theory">2-category theory</a></strong></p> <p><strong>Definitions</strong></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/2-category">2-category</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/strict+2-category">strict 2-category</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/bicategory">bicategory</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/enriched+bicategory">enriched bicategory</a></p> </li> </ul> <p><strong>Transfors between 2-categories</strong></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/2-functor">2-functor</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/pseudofunctor">pseudofunctor</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/lax+functor">lax functor</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/equivalence+of+2-categories">equivalence of 2-categories</a></p> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/2-natural+transformation">2-natural transformation</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/lax+natural+transformation">lax natural transformation</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/icon">icon</a></p> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/modification">modification</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Yoneda+lemma+for+bicategories">Yoneda lemma for bicategories</a></p> </li> </ul> <p><strong>Morphisms in 2-categories</strong></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/fully+faithful+morphism">fully faithful morphism</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/faithful+morphism">faithful morphism</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/conservative+morphism">conservative morphism</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/pseudomonic+morphism">pseudomonic morphism</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/discrete+morphism">discrete morphism</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/eso+morphism">eso morphism</a></p> </li> </ul> <p><strong>Structures in 2-categories</strong></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/adjunction">adjunction</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/mate">mate</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/monad">monad</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/cartesian+object">cartesian object</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/fibration+in+a+2-category">fibration in a 2-category</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/codiscrete+cofibration">codiscrete cofibration</a></p> </li> </ul> <p><strong>Limits in 2-categories</strong></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/2-limit">2-limit</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/2-pullback">2-pullback</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/comma+object">comma object</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/inserter">inserter</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/inverter">inverter</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/equifier">equifier</a></p> </li> </ul> <p><strong>Structures on 2-categories</strong></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/2-monad">2-monad</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/lax-idempotent+2-monad">lax-idempotent 2-monad</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/pseudomonad">pseudomonad</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/pseudoalgebra+for+a+2-monad">pseudoalgebra for a 2-monad</a></p> </li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/monoidal+2-category">monoidal 2-category</a></p> <ul> <li><a class="existingWikiWord" href="/nlab/show/cartesian+bicategory">cartesian bicategory</a></li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Gray+tensor+product">Gray tensor product</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/proarrow+equipment">proarrow equipment</a></p> </li> </ul> </div></div> </div> </div> <h1 id="contents">Contents</h1> <div class='maruku_toc'> <ul> <li><a href='#idea'>Idea</a></li> <li><a href='#definitions'>Definitions</a></li> <li><a href='#categories_and_categories_of_lax_transformations'>Categories and <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>-categories of lax transformations</a></li> <li><a href='#lax_versus_oplax'>“Lax” versus “oplax”</a></li> <li><a href='#the_yoneda_lemma'>The Yoneda Lemma</a></li> <li><a href='#related_concepts'>Related concepts</a></li> <li><a href='#references'>References</a></li> </ul> </div> <h2 id="idea">Idea</h2> <p>The notion of <em>lax natural transformation</em> is a generalization of the notion of <a class="existingWikiWord" href="/nlab/show/natural+transformation">natural transformation</a> from <a class="existingWikiWord" href="/nlab/show/category+theory">category theory</a> to <a class="existingWikiWord" href="/nlab/show/higher+category+theory">higher category theory</a>.</p> <p>As a natural transformation is a <a class="existingWikiWord" href="/nlab/show/morphism">morphism</a> between two <a class="existingWikiWord" href="/nlab/show/functor">functor</a>s between <a class="existingWikiWord" href="/nlab/show/categories">categories</a>, a lax natural transformation is a morphism between <a class="existingWikiWord" href="/nlab/show/2-functors">2-functors</a> between <a class="existingWikiWord" href="/nlab/show/2-categories">2-categories</a>:</p> <p>Where a natural transformation has a <a class="existingWikiWord" href="/nlab/show/commutative+square">commuting</a> naturality square, a lax natural transformation has a <a class="existingWikiWord" href="/nlab/show/2-morphism">2-morphism</a> filling that square. If that 2-morphism is required to be invertible, one speaks of a <a class="existingWikiWord" href="/nlab/show/pseudonatural+transformation">pseudonatural transformation</a>, and if it is required to be an identity (which implies that the square commutes), then one speaks of a <a class="existingWikiWord" href="/nlab/show/strict+2-natural+transformation">strict 2-natural transformation</a> (this latter notion only really makes sense for <a class="existingWikiWord" href="/nlab/show/strict+2-functors">strict 2-functors</a> between <a class="existingWikiWord" href="/nlab/show/strict+2-categories">strict 2-categories</a>).</p> <p>In the general terminology of <a class="existingWikiWord" href="/nlab/show/higher+category+theory">higher category theory</a>, a lax natural transformation may equivalently be called a (lax) <a class="existingWikiWord" href="/nlab/show/k-transfor">1-transfor</a>.</p> <h2 id="definitions">Definitions</h2> <p>Given (possibly weak) <a class="existingWikiWord" href="/nlab/show/2-categories">2-categories</a> <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>C</mi><mo>,</mo><mi>D</mi></mrow><annotation encoding="application/x-tex">C,D</annotation></semantics></math> and (possibly <a class="existingWikiWord" href="/nlab/show/lax+functor">lax</a> or oplax) <a class="existingWikiWord" href="/nlab/show/2-functors">2-functors</a> <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>F</mi><mo>,</mo><mi>G</mi><mo>:</mo><mi>C</mi><mo>→</mo><mi>D</mi></mrow><annotation encoding="application/x-tex">F, G : C\to D</annotation></semantics></math>, a <strong>lax natural transformation</strong> <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>α</mi><mo>:</mo><mi>F</mi><mo>⇒</mo><mi>G</mi></mrow><annotation encoding="application/x-tex">\alpha:F\Rightarrow G</annotation></semantics></math> is given by</p> <ul> <li> <p>for each <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>A</mi><mo>∈</mo><mi>C</mi></mrow><annotation encoding="application/x-tex">A\in C</annotation></semantics></math> a <a class="existingWikiWord" href="/nlab/show/1-morphism">1-morphism</a> <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>α</mi> <mi>A</mi></msub><mo>:</mo><mi>F</mi><mo stretchy="false">(</mo><mi>A</mi><mo stretchy="false">)</mo><mo>→</mo><mi>G</mi><mo stretchy="false">(</mo><mi>A</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">\alpha_A:F(A)\to G(A)</annotation></semantics></math> in <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>D</mi></mrow><annotation encoding="application/x-tex">D</annotation></semantics></math>, as usual</p> </li> <li> <p>for each <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>f</mi><mo>:</mo><mi>A</mi><mo>→</mo><mi>B</mi></mrow><annotation encoding="application/x-tex">f:A\to B</annotation></semantics></math> in <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>C</mi></mrow><annotation encoding="application/x-tex">C</annotation></semantics></math> a <a class="existingWikiWord" href="/nlab/show/2-morphism">2-morphism</a> <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>α</mi> <mi>f</mi></msub><mo>:</mo><mi>G</mi><mo stretchy="false">(</mo><mi>f</mi><mo stretchy="false">)</mo><mo>∘</mo><msub><mi>α</mi> <mi>A</mi></msub><mo>⇒</mo><msub><mi>α</mi> <mi>B</mi></msub><mo>∘</mo><mi>F</mi><mo stretchy="false">(</mo><mi>f</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">\alpha_f: G(f) \circ \alpha_A \Rightarrow \alpha_B \circ F(f)</annotation></semantics></math>:</p> </li> </ul> <svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="134.513" height="96.683" viewBox="0 0 134.513 96.683"> <defs> <g> <g id="aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-0-0"> </g> <g id="aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-0-1"> <path d="M 4.4375 -4.875 L 5.875 -4.875 C 7 -4.875 7.09375 -4.609375 7.09375 -4.1875 C 7.09375 -3.984375 7.0625 -3.78125 6.984375 -3.453125 C 6.953125 -3.390625 6.953125 -3.3125 6.953125 -3.28125 C 6.953125 -3.1875 7 -3.125 7.109375 -3.125 C 7.234375 -3.125 7.25 -3.1875 7.296875 -3.421875 L 8.171875 -6.90625 C 8.171875 -6.953125 8.125 -7.046875 8.015625 -7.046875 C 7.890625 -7.046875 7.875 -6.984375 7.8125 -6.734375 C 7.5 -5.609375 7.203125 -5.296875 5.90625 -5.296875 L 4.546875 -5.296875 L 5.515625 -9.171875 C 5.640625 -9.6875 5.671875 -9.734375 6.28125 -9.734375 L 8.296875 -9.734375 C 10.15625 -9.734375 10.421875 -9.1875 10.421875 -8.125 C 10.421875 -8.03125 10.421875 -7.703125 10.375 -7.3125 C 10.359375 -7.265625 10.34375 -7.0625 10.34375 -7 C 10.34375 -6.890625 10.40625 -6.84375 10.5 -6.84375 C 10.609375 -6.84375 10.671875 -6.90625 10.6875 -7.171875 L 11.015625 -9.78125 C 11.015625 -9.828125 11.03125 -9.984375 11.03125 -10.015625 C 11.03125 -10.171875 10.90625 -10.171875 10.640625 -10.171875 L 3.5625 -10.171875 C 3.265625 -10.171875 3.125 -10.171875 3.125 -9.90625 C 3.125 -9.734375 3.21875 -9.734375 3.484375 -9.734375 C 4.40625 -9.734375 4.40625 -9.640625 4.40625 -9.46875 C 4.40625 -9.390625 4.390625 -9.328125 4.34375 -9.171875 L 2.328125 -1.109375 C 2.203125 -0.578125 2.171875 -0.4375 1.125 -0.4375 C 0.84375 -0.4375 0.6875 -0.4375 0.6875 -0.171875 C 0.6875 0 0.828125 0 0.90625 0 C 1.1875 0 1.5 -0.03125 1.78125 -0.03125 L 3.71875 -0.03125 C 4.046875 -0.03125 4.40625 0 4.734375 0 C 4.875 0 5.046875 0 5.046875 -0.265625 C 5.046875 -0.4375 4.953125 -0.4375 4.625 -0.4375 C 3.453125 -0.4375 3.421875 -0.53125 3.421875 -0.765625 C 3.421875 -0.84375 3.453125 -0.953125 3.484375 -1.0625 Z M 4.4375 -4.875 "></path> </g> <g id="aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-0-2"> <path d="M 2.546875 -1.65625 C 2.015625 -0.78125 1.515625 -0.484375 0.796875 -0.4375 C 0.625 -0.421875 0.515625 -0.421875 0.515625 -0.15625 C 0.515625 -0.0625 0.578125 0 0.6875 0 C 0.953125 0 1.625 -0.03125 1.890625 -0.03125 C 2.328125 -0.03125 2.8125 0 3.21875 0 C 3.3125 0 3.5 0 3.5 -0.28125 C 3.5 -0.421875 3.375 -0.4375 3.28125 -0.4375 C 2.9375 -0.46875 2.65625 -0.578125 2.65625 -0.9375 C 2.65625 -1.15625 2.75 -1.3125 2.9375 -1.640625 L 4.078125 -3.53125 L 7.890625 -3.53125 C 7.90625 -3.390625 7.90625 -3.265625 7.921875 -3.140625 C 7.96875 -2.75 8.140625 -1.1875 8.140625 -0.90625 C 8.140625 -0.46875 7.375 -0.4375 7.140625 -0.4375 C 6.96875 -0.4375 6.8125 -0.4375 6.8125 -0.171875 C 6.8125 0 6.953125 0 7.03125 0 C 7.296875 0 7.59375 -0.03125 7.84375 -0.03125 L 8.6875 -0.03125 C 9.609375 -0.03125 10.265625 0 10.28125 0 C 10.375 0 10.546875 0 10.546875 -0.28125 C 10.546875 -0.4375 10.40625 -0.4375 10.1875 -0.4375 C 9.359375 -0.4375 9.34375 -0.5625 9.3125 -1.015625 L 8.390625 -10.34375 C 8.359375 -10.640625 8.3125 -10.671875 8.140625 -10.671875 C 7.984375 -10.671875 7.90625 -10.640625 7.765625 -10.40625 Z M 4.328125 -3.953125 L 7.328125 -8.984375 L 7.84375 -3.953125 Z M 4.328125 -3.953125 "></path> </g> <g id="aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-0-3"> <path d="M 5.46875 -9.1875 C 5.59375 -9.734375 5.65625 -9.765625 6.25 -9.765625 L 8.1875 -9.765625 C 9.875 -9.765625 9.875 -8.328125 9.875 -8.203125 C 9.875 -6.984375 8.65625 -5.453125 6.6875 -5.453125 L 4.546875 -5.453125 Z M 7.984375 -5.328125 C 9.625 -5.625 11.09375 -6.765625 11.09375 -8.140625 C 11.09375 -9.3125 10.0625 -10.203125 8.375 -10.203125 L 3.578125 -10.203125 C 3.296875 -10.203125 3.171875 -10.203125 3.171875 -9.921875 C 3.171875 -9.765625 3.296875 -9.765625 3.53125 -9.765625 C 4.4375 -9.765625 4.4375 -9.65625 4.4375 -9.484375 C 4.4375 -9.453125 4.4375 -9.359375 4.375 -9.140625 L 2.359375 -1.109375 C 2.21875 -0.578125 2.203125 -0.4375 1.15625 -0.4375 C 0.859375 -0.4375 0.71875 -0.4375 0.71875 -0.171875 C 0.71875 0 0.8125 0 1.109375 0 L 6.234375 0 C 8.515625 0 10.28125 -1.734375 10.28125 -3.234375 C 10.28125 -4.46875 9.203125 -5.21875 7.984375 -5.328125 Z M 5.875 -0.4375 L 3.859375 -0.4375 C 3.640625 -0.4375 3.609375 -0.4375 3.53125 -0.453125 C 3.359375 -0.46875 3.34375 -0.5 3.34375 -0.609375 C 3.34375 -0.71875 3.375 -0.8125 3.40625 -0.9375 L 4.453125 -5.15625 L 7.265625 -5.15625 C 9.015625 -5.15625 9.015625 -3.515625 9.015625 -3.390625 C 9.015625 -1.953125 7.71875 -0.4375 5.875 -0.4375 Z M 5.875 -0.4375 "></path> </g> <g id="aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-0-4"> <path d="M 11.140625 -10.375 C 11.140625 -10.515625 11.03125 -10.515625 11.015625 -10.515625 C 10.984375 -10.515625 10.921875 -10.515625 10.796875 -10.359375 L 9.765625 -9.125 C 9.6875 -9.25 9.390625 -9.765625 8.8125 -10.109375 C 8.171875 -10.515625 7.53125 -10.515625 7.296875 -10.515625 C 4.109375 -10.515625 0.75 -7.265625 0.75 -3.734375 C 0.75 -1.265625 2.453125 0.3125 4.6875 0.3125 C 5.765625 0.3125 7.125 -0.046875 7.875 -0.984375 C 8.03125 -0.421875 8.359375 -0.015625 8.46875 -0.015625 C 8.546875 -0.015625 8.5625 -0.0625 8.578125 -0.0625 C 8.59375 -0.09375 8.703125 -0.609375 8.78125 -0.875 L 9.015625 -1.84375 C 9.140625 -2.328125 9.203125 -2.546875 9.3125 -2.984375 C 9.453125 -3.5625 9.484375 -3.59375 10.3125 -3.609375 C 10.359375 -3.609375 10.546875 -3.609375 10.546875 -3.90625 C 10.546875 -4.046875 10.390625 -4.046875 10.359375 -4.046875 C 10.09375 -4.046875 9.8125 -4.015625 9.546875 -4.015625 L 8.734375 -4.015625 C 8.109375 -4.015625 7.453125 -4.046875 6.84375 -4.046875 C 6.703125 -4.046875 6.53125 -4.046875 6.53125 -3.78125 C 6.53125 -3.625 6.640625 -3.625 6.640625 -3.609375 L 7.015625 -3.609375 C 8.203125 -3.609375 8.203125 -3.5 8.203125 -3.265625 C 8.203125 -3.25 7.921875 -1.75 7.640625 -1.296875 C 7.0625 -0.46875 5.890625 -0.125 5 -0.125 C 3.859375 -0.125 1.984375 -0.71875 1.984375 -3.296875 C 1.984375 -4.296875 2.34375 -6.59375 3.796875 -8.28125 C 4.734375 -9.34375 6.125 -10.078125 7.4375 -10.078125 C 9.203125 -10.078125 9.828125 -8.578125 9.828125 -7.203125 C 9.828125 -6.953125 9.765625 -6.625 9.765625 -6.421875 C 9.765625 -6.28125 9.921875 -6.28125 9.96875 -6.28125 C 10.125 -6.28125 10.140625 -6.296875 10.203125 -6.578125 Z M 11.140625 -10.375 "></path> </g> <g id="aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-1-0"> </g> <g id="aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-1-1"> <path d="M 3.15625 -3.234375 L 4.1875 -3.234375 C 5 -3.234375 5.046875 -3.078125 5.046875 -2.78125 C 5.046875 -2.71875 5.046875 -2.609375 4.96875 -2.359375 C 4.96875 -2.3125 4.953125 -2.234375 4.953125 -2.203125 C 4.953125 -2.1875 4.953125 -2.0625 5.109375 -2.0625 C 5.21875 -2.0625 5.25 -2.15625 5.28125 -2.296875 L 5.8125 -4.421875 C 5.828125 -4.453125 5.859375 -4.578125 5.859375 -4.578125 C 5.859375 -4.625 5.828125 -4.71875 5.6875 -4.71875 C 5.578125 -4.71875 5.546875 -4.640625 5.515625 -4.515625 C 5.328125 -3.734375 5.09375 -3.5625 4.203125 -3.5625 L 3.234375 -3.5625 L 3.875 -6.078125 C 3.953125 -6.4375 3.96875 -6.453125 4.375 -6.453125 L 5.84375 -6.453125 C 7.03125 -6.453125 7.359375 -6.203125 7.359375 -5.34375 C 7.359375 -5.140625 7.3125 -4.875 7.3125 -4.6875 C 7.3125 -4.5625 7.390625 -4.515625 7.46875 -4.515625 C 7.609375 -4.515625 7.609375 -4.609375 7.640625 -4.78125 L 7.8125 -6.46875 C 7.828125 -6.515625 7.828125 -6.59375 7.828125 -6.640625 C 7.828125 -6.78125 7.703125 -6.78125 7.53125 -6.78125 L 2.40625 -6.78125 C 2.234375 -6.78125 2.109375 -6.78125 2.109375 -6.59375 C 2.109375 -6.453125 2.21875 -6.453125 2.390625 -6.453125 C 2.46875 -6.453125 2.609375 -6.453125 2.765625 -6.4375 C 2.984375 -6.40625 3.015625 -6.390625 3.015625 -6.296875 C 3.015625 -6.234375 3 -6.203125 2.96875 -6.09375 L 1.640625 -0.78125 C 1.5625 -0.40625 1.53125 -0.328125 0.796875 -0.328125 C 0.609375 -0.328125 0.484375 -0.328125 0.484375 -0.140625 C 0.484375 -0.09375 0.515625 0 0.640625 0 C 0.859375 0 1.09375 -0.03125 1.3125 -0.03125 L 2.6875 -0.03125 C 2.875 -0.015625 3.234375 0 3.421875 0 C 3.5 0 3.640625 0 3.640625 -0.1875 C 3.640625 -0.328125 3.515625 -0.328125 3.3125 -0.328125 C 3.09375 -0.328125 3.015625 -0.328125 2.796875 -0.34375 C 2.515625 -0.375 2.5 -0.40625 2.5 -0.53125 C 2.5 -0.53125 2.5 -0.59375 2.53125 -0.75 Z M 3.15625 -3.234375 "></path> </g> <g id="aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-1-2"> <path d="M 3.8125 -3.96875 L 4.75 -3.96875 C 4.9375 -3.96875 5.0625 -3.96875 5.0625 -4.15625 C 5.0625 -4.296875 4.9375 -4.296875 4.765625 -4.296875 L 3.875 -4.296875 C 4.03125 -5.1875 4.140625 -5.765625 4.234375 -6.203125 C 4.28125 -6.375 4.3125 -6.484375 4.453125 -6.609375 C 4.578125 -6.71875 4.671875 -6.734375 4.78125 -6.734375 C 4.921875 -6.734375 5.078125 -6.703125 5.21875 -6.625 C 5.15625 -6.609375 5.109375 -6.578125 5.046875 -6.546875 C 4.890625 -6.453125 4.765625 -6.28125 4.765625 -6.078125 C 4.765625 -5.859375 4.9375 -5.71875 5.15625 -5.71875 C 5.453125 -5.71875 5.71875 -5.96875 5.71875 -6.3125 C 5.71875 -6.78125 5.25 -7.015625 4.765625 -7.015625 C 4.421875 -7.015625 3.796875 -6.859375 3.484375 -5.9375 C 3.390625 -5.71875 3.390625 -5.6875 3.125 -4.296875 L 2.375 -4.296875 C 2.171875 -4.296875 2.046875 -4.296875 2.046875 -4.109375 C 2.046875 -3.96875 2.1875 -3.96875 2.359375 -3.96875 L 3.0625 -3.96875 L 2.34375 -0.09375 C 2.15625 0.90625 2 1.75 1.46875 1.75 C 1.453125 1.75 1.234375 1.75 1.046875 1.640625 C 1.5 1.53125 1.5 1.109375 1.5 1.09375 C 1.5 0.875 1.328125 0.734375 1.109375 0.734375 C 0.84375 0.734375 0.546875 0.953125 0.546875 1.328125 C 0.546875 1.75 0.984375 2.03125 1.46875 2.03125 C 2.078125 2.03125 2.5 1.390625 2.625 1.140625 C 2.984375 0.484375 3.21875 -0.75 3.234375 -0.859375 Z M 3.8125 -3.96875 "></path> </g> <g id="aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-1-3"> <path d="M 5.078125 -1.390625 C 6.015625 -2.40625 6.34375 -3.703125 6.34375 -3.78125 C 6.34375 -3.875 6.28125 -3.921875 6.1875 -3.921875 C 6.0625 -3.921875 6.046875 -3.875 5.984375 -3.671875 C 5.71875 -2.65625 5.109375 -1.875 5.078125 -1.875 C 5.0625 -1.875 5.0625 -2.125 5.0625 -2.28125 C 5.046875 -4.03125 3.90625 -4.390625 3.234375 -4.390625 C 1.828125 -4.390625 0.4375 -3.03125 0.4375 -1.625 C 0.4375 -0.640625 1.125 0.09375 2.1875 0.09375 C 2.875 0.09375 3.625 -0.15625 4.40625 -0.734375 C 4.625 0.046875 5.203125 0.09375 5.390625 0.09375 C 5.953125 0.09375 6.28125 -0.40625 6.28125 -0.59375 C 6.28125 -0.71875 6.15625 -0.71875 6.125 -0.71875 C 6.015625 -0.71875 6 -0.6875 5.96875 -0.625 C 5.8125 -0.203125 5.46875 -0.171875 5.421875 -0.171875 C 5.28125 -0.171875 5.125 -0.171875 5.078125 -1.390625 Z M 4.34375 -1.0625 C 3.625 -0.421875 2.796875 -0.171875 2.21875 -0.171875 C 1.6875 -0.171875 1.25 -0.484375 1.25 -1.28125 C 1.25 -1.625 1.40625 -2.65625 1.875 -3.3125 C 2.265625 -3.875 2.8125 -4.109375 3.21875 -4.109375 C 3.765625 -4.109375 4.078125 -3.734375 4.203125 -3.125 C 4.359375 -2.4375 4.28125 -1.640625 4.34375 -1.0625 Z M 4.34375 -1.0625 "></path> </g> <g id="aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-1-4"> <path d="M 7.9375 -6.75 C 7.953125 -6.78125 7.96875 -6.84375 7.96875 -6.890625 C 7.96875 -6.96875 7.921875 -7.015625 7.84375 -7.015625 C 7.78125 -7.015625 7.75 -6.984375 7.671875 -6.890625 L 6.96875 -6.125 C 6.515625 -6.765625 5.859375 -7.015625 5.1875 -7.015625 C 2.84375 -7.015625 0.53125 -4.859375 0.53125 -2.578125 C 0.53125 -0.921875 1.765625 0.203125 3.453125 0.203125 C 4.53125 0.203125 5.328125 -0.171875 5.703125 -0.609375 C 5.828125 -0.296875 6.0625 -0.015625 6.15625 -0.015625 C 6.203125 -0.015625 6.25 -0.03125 6.265625 -0.0625 C 6.328125 -0.234375 6.5625 -1.25 6.640625 -1.53125 C 6.734375 -1.9375 6.796875 -2.21875 6.859375 -2.296875 C 6.953125 -2.40625 7.140625 -2.421875 7.4375 -2.421875 C 7.484375 -2.421875 7.640625 -2.421875 7.640625 -2.609375 C 7.640625 -2.703125 7.5625 -2.75 7.484375 -2.75 C 7.421875 -2.75 7.296875 -2.71875 6.328125 -2.71875 C 6.078125 -2.71875 5.734375 -2.71875 5.59375 -2.734375 C 5.4375 -2.734375 5.046875 -2.75 4.890625 -2.75 C 4.828125 -2.75 4.6875 -2.75 4.6875 -2.5625 C 4.6875 -2.421875 4.796875 -2.421875 5.046875 -2.421875 C 5.265625 -2.421875 5.640625 -2.421875 5.875 -2.328125 C 5.890625 -2.3125 5.90625 -2.25 5.90625 -2.21875 C 5.90625 -2.15625 5.84375 -1.9375 5.8125 -1.8125 C 5.75 -1.5625 5.640625 -1.140625 5.609375 -1.03125 C 5.28125 -0.375 4.3125 -0.125 3.625 -0.125 C 2.640625 -0.125 1.484375 -0.640625 1.484375 -2.265625 C 1.484375 -3.09375 1.828125 -4.53125 2.703125 -5.484375 C 3.65625 -6.515625 4.734375 -6.6875 5.25 -6.6875 C 6.46875 -6.6875 7.03125 -5.734375 7.03125 -4.71875 C 7.03125 -4.578125 6.984375 -4.40625 6.984375 -4.28125 C 6.984375 -4.15625 7.125 -4.15625 7.15625 -4.15625 C 7.28125 -4.15625 7.3125 -4.203125 7.34375 -4.375 Z M 7.9375 -6.75 "></path> </g> <g id="aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-2-0"> </g> <g id="aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-2-1"> <path d="M 3.3125 2.5 C 3.40625 2.5 3.515625 2.5 3.515625 2.375 C 3.515625 2.328125 3.515625 2.328125 3.375 2.1875 C 2.015625 0.90625 1.671875 -0.953125 1.671875 -2.5 C 1.671875 -5.359375 2.859375 -6.703125 3.375 -7.171875 C 3.515625 -7.296875 3.515625 -7.3125 3.515625 -7.359375 C 3.515625 -7.40625 3.484375 -7.484375 3.375 -7.484375 C 3.21875 -7.484375 2.71875 -6.96875 2.640625 -6.875 C 1.3125 -5.484375 1.03125 -3.6875 1.03125 -2.5 C 1.03125 -0.265625 1.96875 1.53125 3.3125 2.5 Z M 3.3125 2.5 "></path> </g> <g id="aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-2-2"> <path d="M 3.078125 -2.5 C 3.078125 -3.4375 2.921875 -4.578125 2.296875 -5.75 C 1.8125 -6.671875 0.90625 -7.484375 0.734375 -7.484375 C 0.625 -7.484375 0.59375 -7.40625 0.59375 -7.359375 C 0.59375 -7.3125 0.59375 -7.296875 0.71875 -7.171875 C 2.109375 -5.859375 2.4375 -4.03125 2.4375 -2.5 C 2.4375 0.375 1.25 1.71875 0.734375 2.1875 C 0.609375 2.3125 0.59375 2.328125 0.59375 2.375 C 0.59375 2.421875 0.625 2.5 0.734375 2.5 C 0.890625 2.5 1.390625 1.984375 1.46875 1.890625 C 2.796875 0.5 3.078125 -1.296875 3.078125 -2.5 Z M 3.078125 -2.5 "></path> </g> <g id="aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-3-0"> </g> <g id="aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-3-1"> <path d="M 1.6875 -0.90625 C 1.40625 -0.484375 1.15625 -0.328125 0.734375 -0.296875 C 0.625 -0.296875 0.53125 -0.28125 0.53125 -0.109375 C 0.53125 -0.03125 0.59375 0 0.65625 0 C 0.859375 0 1.109375 -0.03125 1.328125 -0.03125 C 1.5 -0.03125 1.9375 0 2.125 0 C 2.203125 0 2.28125 -0.03125 2.28125 -0.1875 C 2.28125 -0.296875 2.1875 -0.296875 2.15625 -0.296875 C 1.984375 -0.3125 1.8125 -0.34375 1.8125 -0.515625 C 1.8125 -0.609375 1.890625 -0.734375 1.921875 -0.78125 L 2.53125 -1.703125 L 4.78125 -1.703125 L 4.96875 -0.5 C 4.96875 -0.296875 4.546875 -0.296875 4.46875 -0.296875 C 4.375 -0.296875 4.25 -0.296875 4.25 -0.109375 C 4.25 -0.078125 4.28125 0 4.375 0 C 4.59375 0 5.140625 -0.03125 5.375 -0.03125 C 5.515625 -0.03125 5.65625 -0.015625 5.8125 -0.015625 C 5.953125 -0.015625 6.125 0 6.265625 0 C 6.3125 0 6.4375 0 6.4375 -0.1875 C 6.4375 -0.296875 6.328125 -0.296875 6.21875 -0.296875 C 5.765625 -0.296875 5.75 -0.34375 5.71875 -0.53125 L 4.96875 -5.125 C 4.953125 -5.265625 4.9375 -5.328125 4.78125 -5.328125 C 4.625 -5.328125 4.578125 -5.265625 4.515625 -5.171875 Z M 2.71875 -2 L 4.34375 -4.421875 L 4.734375 -2 Z M 2.71875 -2 "></path> </g> <g id="aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-3-2"> <path d="M 1.5625 -0.625 C 1.5 -0.34375 1.484375 -0.296875 0.921875 -0.296875 C 0.765625 -0.296875 0.75 -0.296875 0.71875 -0.28125 C 0.671875 -0.25 0.65625 -0.15625 0.65625 -0.109375 C 0.671875 0 0.734375 0 0.890625 0 L 3.921875 0 C 5.21875 0 6.234375 -0.84375 6.234375 -1.59375 C 6.234375 -2.046875 5.828125 -2.546875 4.90625 -2.671875 C 5.765625 -2.8125 6.609375 -3.359375 6.609375 -4.03125 C 6.609375 -4.578125 6.015625 -5.09375 4.96875 -5.09375 L 2.109375 -5.09375 C 1.96875 -5.09375 1.859375 -5.09375 1.859375 -4.921875 C 1.859375 -4.796875 1.96875 -4.796875 2.09375 -4.796875 C 2.234375 -4.796875 2.421875 -4.796875 2.578125 -4.75 C 2.578125 -4.671875 2.578125 -4.625 2.546875 -4.515625 Z M 2.796875 -2.78125 L 3.234375 -4.546875 C 3.296875 -4.78125 3.296875 -4.796875 3.609375 -4.796875 L 4.84375 -4.796875 C 5.625 -4.796875 5.84375 -4.328125 5.84375 -4.015625 C 5.84375 -3.40625 5.078125 -2.78125 4.15625 -2.78125 Z M 2.4375 -0.296875 C 2.296875 -0.296875 2.28125 -0.296875 2.1875 -0.328125 L 2.71875 -2.53125 L 4.359375 -2.53125 C 5.296875 -2.53125 5.453125 -1.921875 5.453125 -1.625 C 5.453125 -0.90625 4.65625 -0.296875 3.734375 -0.296875 Z M 2.4375 -0.296875 "></path> </g> <g id="aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-4-0"> </g> <g id="aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-4-1"> <path d="M 10.84375 -4.890625 C 11.46875 -4.34375 12.234375 -3.953125 12.734375 -3.734375 C 12.1875 -3.5 11.453125 -3.109375 10.84375 -2.578125 L 1.359375 -2.578125 C 1.109375 -2.578125 0.828125 -2.578125 0.828125 -2.28125 C 0.828125 -1.984375 1.09375 -1.984375 1.34375 -1.984375 L 10.171875 -1.984375 C 9.453125 -1.296875 8.671875 0.015625 8.671875 0.203125 C 8.671875 0.375 8.875 0.375 8.96875 0.375 C 9.078125 0.375 9.1875 0.375 9.25 0.25 C 9.5625 -0.3125 9.984375 -1.109375 10.953125 -1.96875 C 11.984375 -2.890625 12.984375 -3.28125 13.75 -3.515625 C 14.015625 -3.59375 14.03125 -3.609375 14.0625 -3.640625 C 14.09375 -3.65625 14.09375 -3.703125 14.09375 -3.734375 C 14.09375 -3.765625 14.09375 -3.796875 14.078125 -3.828125 L 14.03125 -3.859375 C 14 -3.875 13.984375 -3.890625 13.703125 -3.96875 C 11.6875 -4.578125 10.1875 -5.9375 9.34375 -7.53125 C 9.1875 -7.828125 9.171875 -7.84375 8.96875 -7.84375 C 8.875 -7.84375 8.671875 -7.84375 8.671875 -7.671875 C 8.671875 -7.484375 9.4375 -6.1875 10.171875 -5.484375 L 1.34375 -5.484375 C 1.09375 -5.484375 0.828125 -5.484375 0.828125 -5.1875 C 0.828125 -4.890625 1.109375 -4.890625 1.359375 -4.890625 Z M 10.84375 -4.890625 "></path> </g> </g> </defs> <g fill="rgb(0%, 0%, 0%)" fill-opacity="1"> <use xlink:href="#aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-0-1" x="9.822" y="20.432"></use> </g> <g fill="rgb(0%, 0%, 0%)" fill-opacity="1"> <use xlink:href="#aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-0-2" x="21.325891" y="20.432"></use> </g> <g fill="rgb(0%, 0%, 0%)" fill-opacity="1"> <use xlink:href="#aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-0-1" x="101.39" y="20.432"></use> </g> <g fill="rgb(0%, 0%, 0%)" fill-opacity="1"> <use xlink:href="#aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-0-3" x="112.893891" y="20.432"></use> </g> <g fill="rgb(0%, 0%, 0%)" fill-opacity="1"> <use xlink:href="#aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-0-4" x="9.804" y="83.723"></use> <use xlink:href="#aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-0-2" x="21.346746" y="83.723"></use> </g> <g fill="rgb(0%, 0%, 0%)" fill-opacity="1"> <use xlink:href="#aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-0-4" x="101.372" y="83.723"></use> <use xlink:href="#aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-0-3" x="112.914746" y="83.723"></use> </g> <path fill="none" stroke-width="0.47818" stroke-linecap="butt" stroke-linejoin="miter" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M -28.316438 30.276687 L 26.937469 30.276687 " transform="matrix(1, 0, 0, -1, 67.293, 46.972)"></path> <path fill="none" stroke-width="0.47818" stroke-linecap="round" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M -2.487261 2.867615 C -2.034136 1.148865 -1.018511 0.336365 0.00102 0.0004275 C -1.018511 -0.33551 -2.034136 -1.14801 -2.487261 -2.870666 " transform="matrix(1, 0, 0, -1, 94.46773, 16.69574)"></path> <g fill="rgb(0%, 0%, 0%)" fill-opacity="1"> <use xlink:href="#aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-1-1" x="55.55" y="10.689"></use> </g> <g fill="rgb(0%, 0%, 0%)" fill-opacity="1"> <use xlink:href="#aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-2-1" x="63.71875" y="10.689"></use> </g> <g fill="rgb(0%, 0%, 0%)" fill-opacity="1"> <use xlink:href="#aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-1-2" x="67.835" y="10.689"></use> </g> <g fill="rgb(0%, 0%, 0%)" fill-opacity="1"> <use xlink:href="#aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-2-2" x="74.01875" y="10.689"></use> </g> <path fill="none" stroke-width="0.47818" stroke-linecap="butt" stroke-linejoin="miter" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M -46.234406 20.823562 L -46.234406 -20.344406 " transform="matrix(1, 0, 0, -1, 67.293, 46.972)"></path> <path fill="none" stroke-width="0.47818" stroke-linecap="round" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M -2.488514 2.867751 C -2.031482 1.149001 -1.019764 0.336501 -0.0002325 0.00056375 C -1.019764 -0.335374 -2.031482 -1.147874 -2.488514 -2.87053 " transform="matrix(0, 1, 1, 0, 21.05803, 67.55492)"></path> <g fill="rgb(0%, 0%, 0%)" fill-opacity="1"> <use xlink:href="#aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-1-3" x="3.217" y="48.279"></use> </g> <g fill="rgb(0%, 0%, 0%)" fill-opacity="1"> <use xlink:href="#aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-3-1" x="10.01575" y="49.954"></use> </g> <g fill="rgb(0%, 0%, 0%)" fill-opacity="1"> <use xlink:href="#aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-4-1" x="57.603" y="49.713"></use> </g> <path fill="none" stroke-width="0.47818" stroke-linecap="butt" stroke-linejoin="miter" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M 45.785125 20.823562 L 45.785125 -20.344406 " transform="matrix(1, 0, 0, -1, 67.293, 46.972)"></path> <path fill="none" stroke-width="0.47818" stroke-linecap="round" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M -2.488514 2.867212 C -2.031482 1.148462 -1.019764 0.335962 -0.0002325 0.000025 C -1.019764 -0.335913 -2.031482 -1.148413 -2.488514 -2.871069 " transform="matrix(0, 1, 1, 0, 113.0781, 67.55492)"></path> <g fill="rgb(0%, 0%, 0%)" fill-opacity="1"> <use xlink:href="#aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-1-3" x="116.594" y="48.279"></use> </g> <g fill="rgb(0%, 0%, 0%)" fill-opacity="1"> <use xlink:href="#aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-3-2" x="123.39275" y="49.954"></use> </g> <path fill="none" stroke-width="0.47818" stroke-linecap="butt" stroke-linejoin="miter" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M -28.296906 -33.016281 L 26.917937 -33.016281 " transform="matrix(1, 0, 0, -1, 67.293, 46.972)"></path> <path fill="none" stroke-width="0.47818" stroke-linecap="round" stroke-linejoin="round" stroke="rgb(0%, 0%, 0%)" stroke-opacity="1" stroke-miterlimit="10" d="M -2.488043 2.870812 C -2.031011 1.148156 -1.019293 0.335656 0.00023875 -0.00028125 C -1.019293 -0.336219 -2.031011 -1.148719 -2.488043 -2.867469 " transform="matrix(1, 0, 0, -1, 94.44898, 79.988)"></path> <g fill="rgb(0%, 0%, 0%)" fill-opacity="1"> <use xlink:href="#aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-1-4" x="55.51" y="90.975"></use> </g> <g fill="rgb(0%, 0%, 0%)" fill-opacity="1"> <use xlink:href="#aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-2-1" x="63.75875" y="90.975"></use> </g> <g fill="rgb(0%, 0%, 0%)" fill-opacity="1"> <use xlink:href="#aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-1-2" x="67.875" y="90.975"></use> </g> <g fill="rgb(0%, 0%, 0%)" fill-opacity="1"> <use xlink:href="#aDEA3Nplv8QHN1XU16_F_sPUvnU=-glyph-2-2" x="74.05875" y="90.975"></use> </g> </svg> <p>such that</p> <ul> <li> <p>for each <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>A</mi><mo>,</mo><mi>B</mi></mrow><annotation encoding="application/x-tex">A,B</annotation></semantics></math>, the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>α</mi> <mi>f</mi></msub></mrow><annotation encoding="application/x-tex">\alpha_f</annotation></semantics></math> are the components of a (strict) <a class="existingWikiWord" href="/nlab/show/natural+transformation">natural transformation</a> <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>α</mi> <mrow><mi>A</mi><mo>,</mo><mi>B</mi></mrow></msub><mo>:</mo><mo stretchy="false">(</mo><msub><mi>α</mi> <mi>A</mi></msub><msup><mo stretchy="false">)</mo> <mo>*</mo></msup><mo>∘</mo><msub><mi>G</mi> <mrow><mi>A</mi><mo>,</mo><mi>B</mi></mrow></msub><mover><mo>→</mo><mo>˙</mo></mover><mo stretchy="false">(</mo><msub><mi>α</mi> <mi>B</mi></msub><msub><mo stretchy="false">)</mo> <mo>*</mo></msub><mo>∘</mo><msub><mi>F</mi> <mrow><mi>A</mi><mo>,</mo><mi>B</mi></mrow></msub></mrow><annotation encoding="application/x-tex">\alpha_{A,B}: (\alpha_A)^* \circ G_{A,B} \dot{\to} (\alpha_B)_* \circ F_{A,B}</annotation></semantics></math></p> </li> <li> <p>the assignment <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>f</mi><mo>↦</mo><msub><mi>α</mi> <mi>f</mi></msub></mrow><annotation encoding="application/x-tex">f\mapsto \alpha_f</annotation></semantics></math> behaves sensibly with respect to identities and composition (see the references for details).</p> </li> </ul> <p>An <strong>oplax natural transformation</strong> is as above, only with the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mn>2</mn></mrow><annotation encoding="application/x-tex">2</annotation></semantics></math>-cells <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>α</mi> <mi>f</mi></msub></mrow><annotation encoding="application/x-tex">\alpha_f</annotation></semantics></math> reversed. This distinction is not entirely consistent in the literature; see the discussion of terminology below.</p> <p>An (op)lax natural transformation <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>α</mi></mrow><annotation encoding="application/x-tex">\alpha</annotation></semantics></math> is a <strong><a class="existingWikiWord" href="/nlab/show/pseudonatural+transformation">pseudonatural transformation</a></strong> if each <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>α</mi> <mi>f</mi></msub></mrow><annotation encoding="application/x-tex">\alpha_f</annotation></semantics></math> is <a class="existingWikiWord" href="/nlab/show/isomorphism">invertible</a>, and a <strong>strict natural transformation</strong> or <strong><a class="existingWikiWord" href="/nlab/show/strict+2-natural+transformation">strict 2-natural transformation</a></strong> if each is an <a class="existingWikiWord" href="/nlab/show/identity+morphism">identity</a>.</p> <p>In all of these cases, the word ‘natural’ is often dropped for brevity.</p> <h2 id="categories_and_categories_of_lax_transformations">Categories and <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>-categories of lax transformations</h2> <p>Lax transformations from <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>F</mi></mrow><annotation encoding="application/x-tex">F</annotation></semantics></math> to <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>G</mi></mrow><annotation encoding="application/x-tex">G</annotation></semantics></math> and <a class="existingWikiWord" href="/nlab/show/modification">modification</a>s between them form a <a class="existingWikiWord" href="/nlab/show/category">category</a> <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>Lax</mi><mo stretchy="false">(</mo><mi>F</mi><mo>,</mo><mi>G</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">Lax(F,G)</annotation></semantics></math>; likewise we have <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>Ps</mi><mo stretchy="false">(</mo><mi>F</mi><mo>,</mo><mi>G</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">Ps(F,G)</annotation></semantics></math> and <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>Oplax</mi><mo stretchy="false">(</mo><mi>F</mi><mo>,</mo><mi>G</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">Oplax(F,G)</annotation></semantics></math> consisting of pseudo-natural and oplax transformations, respectively.</p> <p>Pushing it up a notch, for 2-categories <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>C</mi></mrow><annotation encoding="application/x-tex">C</annotation></semantics></math> and <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>D</mi></mrow><annotation encoding="application/x-tex">D</annotation></semantics></math> we have hom-2-categories <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mn>2</mn><msub><mi>Cat</mi> <mi>lax</mi></msub><mo stretchy="false">(</mo><mi>C</mi><mo>,</mo><mi>D</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">2Cat_{lax}(C,D)</annotation></semantics></math>, <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mn>2</mn><msub><mi>Cat</mi> <mi>ps</mi></msub><mo stretchy="false">(</mo><mi>C</mi><mo>,</mo><mi>D</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">2Cat_{ps}(C,D)</annotation></semantics></math>, and <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mn>2</mn><msub><mi>Cat</mi> <mi>oplax</mi></msub><mo stretchy="false">(</mo><mi>C</mi><mo>,</mo><mi>D</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">2Cat_{oplax}(C,D)</annotation></semantics></math> whose objects are 2-functors (generally taken to be strong or strict), whose morphisms are lax, pseudo, or oplax transformations respectively, and whose 2-cells are modifications. These hom-2-categories are the <a class="existingWikiWord" href="/nlab/show/internal+homs">internal homs</a> for the various version of the <a class="existingWikiWord" href="/nlab/show/Gray+tensor+product">Gray tensor product</a> on <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mn>2</mn><mi>Cat</mi></mrow><annotation encoding="application/x-tex">2Cat</annotation></semantics></math>.</p> <p>Finally, there is a <a class="existingWikiWord" href="/nlab/show/3-category">3-category</a> consisting of 2-categories, (strong or strict) 2-functors, pseudo-natural transformations, and modifications. No laxness is possible at this level (without “laxifying” the notion of 3-category).</p> <h2 id="lax_versus_oplax">“Lax” versus “oplax”</h2> <p>The choice of which direction to call “lax” and which to call “oplax” is not made consistently in the literature. The convention used above is Benabou’s original choice, as well as that of Leinster, Borceaux, and the majority of Australian writing on category theory. However, some references, such as the <a class="existingWikiWord" href="/nlab/show/Elephant">Elephant</a>, make the opposite choice. One or two references use “left lax” and “right lax” instead.</p> <p>It is arguably the case that the direction we call “oplax” occurs more commonly in practice. For instance, <a class="existingWikiWord" href="/nlab/show/icons">icons</a> are a special sort of oplax transformations (although if “lax” and “oplax” were switched, then the acronymic derivation of the word “icon” would no longer work). Likewise, when monoidal categories are viewed as one-object 2-categories, <a class="existingWikiWord" href="/nlab/show/monoidal+natural+transformation">monoidal natural transformation</a>s are special oplax transformations (in fact, they are precisely the icons).</p> <p>On the other hand, the convention used above (besides having a little more weight of tradition) has the advantage that there is a <a class="existingWikiWord" href="/nlab/show/2-monad">2-monad</a> whose algebras are 2-functors, and for which <a class="existingWikiWord" href="/nlab/show/lax+morphism">lax and oplax algebra morphisms</a> are precisely lax and oplax transformations, respectively, under this convention. Thus, for instance, theorems such as <a class="existingWikiWord" href="/nlab/show/doctrinal+adjunction">doctrinal adjunction</a> can be applied to lax and oplax transformations without needing to switch back and forth between two different meanings of “lax.”</p> <div class="query"> <p>How consistent are different authors in this convention? Should we include a warning —or for that matter, a reassurance? —Toby</p> <p><a class="existingWikiWord" href="/nlab/show/Finn+Lawler">Finn</a>: I don’t know myself, but back in <a href="http://ncatlab.org/nlab/show/2009+May+changes">May</a> (see end of page) Jonas Frey said ‘Johnstone in the elephant and Gurski in his PhD-thesis for example use an other orientation than Leinster and Borceux in their books’. The one above is Leinster’s. I haven’t seen any of the other references.</p> <p><em>Toby</em>: OK, I just checked the Elephant, and it is reverse.</p> <p><em>Todd</em>: My own impression is that Leinster and Borceux are in the minority here, and that a bigger warning may be warranted. I think for instance that Johnstone is on the side of most Australians, who after all have done the most work in this area.</p> <p>My own convention is that of Street: the arrow orientations in a product of <a class="existingWikiWord" href="/nlab/show/parity+complex">parity complex</a>es is to follow the usual sign conventions for chain complexes. For example, if I write <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>α</mi><mo>⊗</mo><mi>f</mi></mrow><annotation encoding="application/x-tex">\alpha \otimes f</annotation></semantics></math> instead of <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>α</mi> <mi>f</mi></msub></mrow><annotation encoding="application/x-tex">\alpha_f</annotation></semantics></math>, and <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mo>∂</mo> <mo>−</mo></msup></mrow><annotation encoding="application/x-tex">\partial^-</annotation></semantics></math> for ‘source’ and <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mo>∂</mo> <mo>+</mo></msup></mrow><annotation encoding="application/x-tex">\partial^+</annotation></semantics></math> for ‘target’, and interpreting ‘+’ as union, then for <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>ε</mi><mo>∈</mo><mo stretchy="false">{</mo><mo lspace="verythinmathspace" rspace="0em">−</mo><mn>1</mn><mo>,</mo><mn>1</mn><mo stretchy="false">}</mo></mrow><annotation encoding="application/x-tex">\varepsilon \in \{-1, 1\}</annotation></semantics></math> we would have</p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><msup><mo>∂</mo> <mi>ε</mi></msup><mo stretchy="false">(</mo><mi>α</mi><mo>⊗</mo><mi>f</mi><mo stretchy="false">)</mo><mo>=</mo><msup><mo>∂</mo> <mi>ε</mi></msup><mo stretchy="false">(</mo><mi>α</mi><mo stretchy="false">)</mo><mo>⊗</mo><mi>f</mi><mo>+</mo><mi>α</mi><mo>⊗</mo><mo stretchy="false">(</mo><mo lspace="verythinmathspace" rspace="0em">−</mo><mn>1</mn><msup><mo stretchy="false">)</mo> <mrow><mi>dim</mi><mo stretchy="false">(</mo><mi>α</mi><mo stretchy="false">)</mo></mrow></msup><msup><mo>∂</mo> <mi>ε</mi></msup><mi>f</mi></mrow><annotation encoding="application/x-tex">\partial^{\varepsilon}(\alpha \otimes f) = \partial^{\varepsilon}(\alpha) \otimes f + \alpha \otimes (-1)^{dim(\alpha)} \partial^\varepsilon f</annotation></semantics></math></div> <p>so accordingly, since <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>dim</mi><mo stretchy="false">(</mo><mi>α</mi><mo stretchy="false">)</mo><mo>=</mo><mn>1</mn></mrow><annotation encoding="application/x-tex">dim(\alpha) = 1</annotation></semantics></math>, the set of source cells of <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>α</mi><mo>⊗</mo><mi>f</mi></mrow><annotation encoding="application/x-tex">\alpha \otimes f</annotation></semantics></math> would be <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mo stretchy="false">{</mo><mi>F</mi><mo>⊗</mo><mi>f</mi><mo>,</mo><mi>α</mi><mo>⊗</mo><mi>G</mi><mo stretchy="false">}</mo></mrow><annotation encoding="application/x-tex">\{F \otimes f, \alpha \otimes G\}</annotation></semantics></math>, if you follow my drift. Street’s rule of thumb then is that ‘lax’ would follow this “normal” order, and ‘colax’ the opposite.</p> <p><em>Toby</em>: I didn't want to say anything before, but my own intuition follows Todd's logic.</p> <p><a class="existingWikiWord" href="/nlab/show/Mike+Shulman">Mike Shulman</a>: Actually, my impression is that Leinster and Borceaux (specifically, the convention $\alpha_f: G(f) \circ</p> <p>\alpha_A \Rightarrow \alpha_B \circ F(f)$) are on the side of the Australians. See for instance p189 of Kelly, “On Clubs and Doctrines” in the Sydney Category Seminar reports. It’s also the one originally used by Benabou. And the acronymic derivation of the word <a class="existingWikiWord" href="/nlab/show/icon">icon</a> depends on using this convention.</p> <p>I also think there is a very good reason to use that convention. Namely, given a small 2-category <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>C</mi></mrow><annotation encoding="application/x-tex">C</annotation></semantics></math>, there is a <a class="existingWikiWord" href="/nlab/show/2-monad">2-monad</a>, say <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>T</mi></mrow><annotation encoding="application/x-tex">T</annotation></semantics></math>, on <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msup><mi>Cat</mi> <mrow><mi>ob</mi><mo stretchy="false">(</mo><mi>C</mi><mo stretchy="false">)</mo></mrow></msup></mrow><annotation encoding="application/x-tex">Cat^{ob(C)}</annotation></semantics></math>, whose algebras are functors <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>C</mi><mo>→</mo><mi>Cat</mi></mrow><annotation encoding="application/x-tex">C\to Cat</annotation></semantics></math> and such that a lax <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>T</mi></mrow><annotation encoding="application/x-tex">T</annotation></semantics></math>-morphism, in the general sense of 2-monad theory, is a lax natural transformation with this convention. Ideally there would be a general rule which we could apply in any given situation to decide which direction should be called “lax” and which “oplax;” this doesn’t quite seem to be the case, but 2-monad theory covers the vast majority of cases, so I think we should stick to it whenever possible.</p> <p>This isn’t just for consistency and predictability, but so that we can apply <em>theorems</em> of 2-monad theory without having to worry about the words being swapped around on us. For example, <a class="existingWikiWord" href="/nlab/show/doctrinal+adjunction">doctrinal adjunction</a> says that given a 2-monad <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>T</mi></mrow><annotation encoding="application/x-tex">T</annotation></semantics></math> on a 2-category <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>K</mi></mrow><annotation encoding="application/x-tex">K</annotation></semantics></math>, two <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>T</mi></mrow><annotation encoding="application/x-tex">T</annotation></semantics></math>-algebras <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>A</mi></mrow><annotation encoding="application/x-tex">A</annotation></semantics></math> and <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>B</mi></mrow><annotation encoding="application/x-tex">B</annotation></semantics></math>, and an adjunction <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>f</mi><mo>:</mo><mi>A</mi><mo>⇆</mo><mi>B</mi><mo>:</mo><mi>g</mi></mrow><annotation encoding="application/x-tex">f:A\leftrightarrows B:g</annotation></semantics></math> in <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>K</mi></mrow><annotation encoding="application/x-tex">K</annotation></semantics></math>, to give the left adjoint <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>f</mi></mrow><annotation encoding="application/x-tex">f</annotation></semantics></math> the structure of a colax <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>T</mi></mrow><annotation encoding="application/x-tex">T</annotation></semantics></math>-morphism is the equivalent to giving the right adjoint <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>g</mi></mrow><annotation encoding="application/x-tex">g</annotation></semantics></math> the structure of a lax <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>T</mi></mrow><annotation encoding="application/x-tex">T</annotation></semantics></math>-morphism. This is one of those insufficiently-well-known facts that is frequently rediscovered in special cases. For instance, given an adjunction between monoidal categories, to make the left adjoint a colax monoidal functor is the same as to make the right adjoint a lax monoidal functor. And if I have a lax natural transformation <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>α</mi><mo>:</mo><mi>F</mi><mo>→</mo><mi>G</mi></mrow><annotation encoding="application/x-tex">\alpha:F\to G</annotation></semantics></math> such that each component <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>α</mi> <mi>A</mi></msub></mrow><annotation encoding="application/x-tex">\alpha_A</annotation></semantics></math> has a left adjoint, then those left adjoints automatically form an oplax natural transformation. I think this would be unutterably confusing if “lax natural transformations” were the <em>oplax</em> <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>T</mi></mrow><annotation encoding="application/x-tex">T</annotation></semantics></math>-morphisms.</p> <p><a class="existingWikiWord" href="/nlab/show/Todd+Trimble">Todd Trimble</a>: I got around finally to consulting Ross Street about this, and Steve Lack also entered the discussion. I think you may be right (Mike) and I wrong about which is more common in Australia; certainly Kelly for example goes along with Bénabou.</p> <p>However, the feelings about that in Australia may be slightly less sanguine then yours. Ross says he has at times felt this was the wrong direction (see for example Coherence for Tricategories, where the direction goes the other way). For example, the direction for monoidal natural transformations is the reverse of Bénabou’s. When Ross asked Steve if his opinion on this were strong or lax, he replied:</p> <p>“I don’t think I’d say I have a strong opinion.</p> <p>“I agree that the ‘other’ direction (what has in Australia been called oplax, and which Todd recalls below) seems to be more important (e.g. prevalence of oplax limits/colimits, fact that they generalize monoidal transformations). I also feel that there is probably no perfect system - just as there no perfect system out which things are op and which are co.</p> <p>“My ‘limits for lax morphisms’ suggests that there is a mismatch: 2-categories of lax morphisms have oplax limits, but again I think that if this were fixed something else would pop out elsewhere. For instance you can describe oplax naturals as being oplax morphisms somewhere or other.</p> <p>“If oplax naturals were no longer called oplax naturals then the name icon would become odd (or should that be even odder) but part of the point of naming it was to get away these issues, so I don’t think that is too serious.” (End of Steve’s email)</p> <p>(Incidentally, I don’t know or have forgotten this ‘icon’ business. What does it stand for, again?)</p> <p>Ross summarized his feelings by emphasizing the wisdom of being flexible in these matters. Both directions arise and are important.</p> <p>Ross also mentioned that the lax terminology began with the paper “Two constructions on lax functors”, where the transformations in Bénabou’s direction were dubbed “left lax”, and the ones in the other “right lax”. Perhaps we could use this terminology ourselves to avoid confusion, and cite this paper as reference. Your thoughts?</p> <p><a class="existingWikiWord" href="/nlab/show/Mike+Shulman">Mike Shulman</a>: I don’t really understand the point of view that “the more important” direction should be called lax and “the less important” direction oplax. Are limits called “limits” rather than “colimits” because they’re “more important”? I wouldn’t say so—it’s just that we need to have some convention about which one gets the prefix. As Ross said, both directions arise and are important, but that doesn’t mean we should be inconsistent in naming them. (Maybe inconsistency isn’t what he means by “being flexible,” but then I don’t know what he means.) Wouldn’t it be confusing if the word “limit” meant either (what we now call) “limit” or “colimit” depending on which one a particular author cared more about at the moment? And there are so many other <em>really</em> poor choices of terminology in mathematics, that I’m surprised people choose to fight a battle about the positioning of an “op.”</p> <p>Speaking for myself, “left lax” and “right lax” would confuse me more. How do I remember which is which? Neither one looks particularly “left” or “right” to me.</p> <p><em>Todd</em>: Well, it’s not that I really care to argue about it that much. As a matter of historical record we <em>do</em> have different conventions appearing in the literature, and you seemed to be plumping for one of those conventions earlier. Now I can’t tell: it looks as though you’re now saying that the convention is arbitrary, but we should stick with the original (which is Benabou’s).</p> <p>Linguistically, ‘oplax’ would be considered as a term derived from ‘lax’, so I think a natural tendency for people is to apply the primary term to whatever situation they feel is the more dominant. I think that’s what Ross must have meant when he said that he’s sometimes felt Benabou’s direction is the “wrong” one. (I’m not sure if that applies to limit/colimit; in one sense, colimits could be considered secondary because their definition in the enriched context can be seen as based on hom functors hom(-, c) taking them to ordinary limits in the base of enrichment.)</p> <p>Perhaps I shouldn’t speak for Ross, but I know him a bit, and I think by ‘flexible’ he means not being too doctrinaire about these things – his tendency would be to state at the outset of a paper “by lax transformation we mean…” and specify the direction clearly. He’s bounced back and forth; apparently he feels the convention is not so strongly established yet that he needs to fix it once and for all, the important thing is to maintain consistency throughout a paper (or talk). But maybe you should ask him next time you see him, if you feel strongly about this.</p> <p>So I’m guessing that Ross and Steve are tolerant and non-fussed about this particular issue, and they in particular are not the ones who battle over things like ‘co’ and ‘op’.</p> <p>Anyway, this whole discussion started only to sound a warning to the reader that conventions do differ in the literature. Note that I never said we should change the entry, and the arguments put forth for my own preference were not to start an argument. There are good arguments on both sides.</p> <p><a class="existingWikiWord" href="/nlab/show/Mike+Shulman">Mike Shulman</a>: I’m sorry if I sounded too argumentative; I didn’t mean to. What I meant was that I’m surprised people have tried to change Benabou’s original terminology at all. I believe it was Jaap van Oosten who wrote that “the only thing worse than bad terminology is continually changing terminology.” Benabou did use some terminology quite worthy of being changed, like “morphism” and “homomorphism” for “lax 2-functor” and “strong 2-functor” respectively, but switching the meanings of “lax” and “oplax” seems like engendering a lot of confusion for very little gain, when the only argument in favor of it is that oplax ones are (maybe) more common. On top of this, the argument about 2-monads is a positive reason to prefer Benabou’s choice.</p> <p>Anyway, in terms of productive work, I expanded the entry somewhat to include a warning to the reader about the different choices that exist and a summary of the reasons for making either choice. Feel free to improve it.</p> <p><em>Todd</em>: I think you’ve certainly made a good start. Thanks for writing this up.</p> </div> <h2 id="the_yoneda_lemma">The Yoneda Lemma</h2> <p>Given a bicategory <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>C</mi></mrow><annotation encoding="application/x-tex">C</annotation></semantics></math>, a lax functor <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>F</mi><mo>:</mo><msup><mi>C</mi> <mi>op</mi></msup><mo>→</mo><mi>Cat</mi></mrow><annotation encoding="application/x-tex">F:C^{op}\to Cat</annotation></semantics></math> and a <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mn>0</mn></mrow><annotation encoding="application/x-tex">0</annotation></semantics></math>-cell <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>A</mi><mo>∈</mo><mi>C</mi></mrow><annotation encoding="application/x-tex">A\in C</annotation></semantics></math>, there are <a class="existingWikiWord" href="/nlab/show/adjoint+functor">adjoint functor</a>s</p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><mi>I</mi><mo>:</mo><mi>Lax</mi><mo stretchy="false">(</mo><mi>y</mi><mi>A</mi><mo>,</mo><mi>F</mi><mo stretchy="false">)</mo><mover><mo>←</mo><mo>→</mo></mover><mi>F</mi><mo stretchy="false">(</mo><mi>A</mi><mo stretchy="false">)</mo><mo>:</mo><mi>J</mi></mrow><annotation encoding="application/x-tex"> I : Lax(y A,F) \stackrel{\to}{\leftarrow} F(A) : J </annotation></semantics></math></div> <p>such that <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>J</mi><mo>⊣</mo><mi>I</mi></mrow><annotation encoding="application/x-tex">J \dashv I</annotation></semantics></math>. Here <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>y</mi><mi>A</mi><mo>:</mo><mi>C</mi><mo>→</mo><msup><mi>Cat</mi> <mrow><msup><mi>C</mi> <mi>op</mi></msup></mrow></msup></mrow><annotation encoding="application/x-tex">y A:C \to Cat^{C^{op}}</annotation></semantics></math> is the image of <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>A</mi></mrow><annotation encoding="application/x-tex">A</annotation></semantics></math> under the bicategorical <a class="existingWikiWord" href="/nlab/show/Yoneda+embedding">Yoneda embedding</a>.</p> <div class="proof"> <h6 id="proof_sketch">Proof (sketch)</h6> <p>For <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>a</mi><mo>∈</mo><mi>F</mi><mo stretchy="false">(</mo><mi>A</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">a\in F(A)</annotation></semantics></math>, let <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>J</mi><mo stretchy="false">(</mo><mi>a</mi><mo stretchy="false">)</mo><mo>:</mo><mi>y</mi><mi>A</mi><mo>⇒</mo><mi>F</mi></mrow><annotation encoding="application/x-tex">J(a):y A\Rightarrow F</annotation></semantics></math> be the lax transformation defined by <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>J</mi><mo stretchy="false">(</mo><mi>a</mi><msub><mo stretchy="false">)</mo> <mi>B</mi></msub><mo stretchy="false">(</mo><mi>f</mi><mo stretchy="false">)</mo><mo>=</mo><mo stretchy="false">(</mo><mi>F</mi><mi>f</mi><mo stretchy="false">)</mo><mo stretchy="false">(</mo><mi>a</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">J(a)_B(f) = (F f)(a)</annotation></semantics></math>. The components</p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><mi>J</mi><mo stretchy="false">(</mo><mi>a</mi><msub><mo stretchy="false">)</mo> <mi>g</mi></msub><mo>:</mo><mi>F</mi><mo stretchy="false">(</mo><mi>g</mi><mo stretchy="false">)</mo><mo>∘</mo><mi>J</mi><mo stretchy="false">(</mo><mi>a</mi><msub><mo stretchy="false">)</mo> <mi>X</mi></msub><mover><mo>→</mo><mo>˙</mo></mover><mi>J</mi><mo stretchy="false">(</mo><mi>a</mi><msub><mo stretchy="false">)</mo> <mi>Y</mi></msub><mo>∘</mo><msub><mi>g</mi> <mo>*</mo></msub></mrow><annotation encoding="application/x-tex"> J(a)_g : F(g) \circ J(a)_X \dot{\to} J(a)_Y \circ g_* </annotation></semantics></math></div> <p>for <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>g</mi><mo>:</mo><mi>X</mi><mo>→</mo><mi>Y</mi></mrow><annotation encoding="application/x-tex">g:X\to Y</annotation></semantics></math> in <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>C</mi></mrow><annotation encoding="application/x-tex">C</annotation></semantics></math> are given by <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>F</mi></mrow><annotation encoding="application/x-tex">F</annotation></semantics></math>‘s comparison map <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mo stretchy="false">(</mo><msub><mi>F</mi> <mrow><mi>g</mi><mo>,</mo><mo lspace="verythinmathspace" rspace="0em">−</mo></mrow></msub><msub><mo stretchy="false">)</mo> <mi>a</mi></msub></mrow><annotation encoding="application/x-tex">(F_{g,-})_a</annotation></semantics></math>. The coherence conditions follow from those on <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>F</mi></mrow><annotation encoding="application/x-tex">F</annotation></semantics></math> wrt the associator and left unitor of <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>C</mi></mrow><annotation encoding="application/x-tex">C</annotation></semantics></math>. For <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>x</mi><mo>:</mo><mi>a</mi><mo>→</mo><mi>b</mi></mrow><annotation encoding="application/x-tex">x:a\to b</annotation></semantics></math> in <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>F</mi><mo stretchy="false">(</mo><mi>A</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">F(A)</annotation></semantics></math>, <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>J</mi><mo stretchy="false">(</mo><mi>x</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">J(x)</annotation></semantics></math> is a modification because <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>F</mi> <mrow><mi>g</mi><mo>,</mo><mi>f</mi></mrow></msub></mrow><annotation encoding="application/x-tex">F_{g,f}</annotation></semantics></math> is a natural transformation (i.e. 2-cell in <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>Cat</mi></mrow><annotation encoding="application/x-tex">Cat</annotation></semantics></math>).</p> <p>Let <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>I</mi><mo stretchy="false">(</mo><mi>α</mi><mo stretchy="false">)</mo><mo>=</mo><msub><mi>α</mi> <mi>A</mi></msub><mo stretchy="false">(</mo><msub><mn>1</mn> <mi>A</mi></msub><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">I(\alpha) = \alpha_A(1_A)</annotation></semantics></math> as usual. For <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>m</mi><mo>:</mo><mi>α</mi><mover><mo>→</mo><mo>¨</mo></mover><mi>β</mi></mrow><annotation encoding="application/x-tex">m:\alpha\ddot{\to}\beta</annotation></semantics></math> a modification, <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>I</mi><mo stretchy="false">(</mo><mi>m</mi><mo stretchy="false">)</mo><mo>=</mo><mo stretchy="false">(</mo><msub><mi>m</mi> <mi>A</mi></msub><mo stretchy="false">)</mo><mo stretchy="false">(</mo><msub><mn>1</mn> <mi>A</mi></msub><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">I(m)=(m_A)(1_A)</annotation></semantics></math>.</p> <p>The unit <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>η</mi><mo>:</mo><mi>F</mi><mi>A</mi><mover><mo>→</mo><mo>˙</mo></mover><mi>I</mi><mi>J</mi></mrow><annotation encoding="application/x-tex">\eta: F A \dot{\to} I J</annotation></semantics></math> at <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>a</mi><mo>∈</mo><mi>F</mi><mi>A</mi></mrow><annotation encoding="application/x-tex">a\in F A</annotation></semantics></math> is the component <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mo stretchy="false">(</mo><msub><mi>F</mi> <mi>A</mi></msub><msub><mo stretchy="false">)</mo> <mi>a</mi></msub></mrow><annotation encoding="application/x-tex">(F_A)_a</annotation></semantics></math> of <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>F</mi></mrow><annotation encoding="application/x-tex">F</annotation></semantics></math>‘s comparison map, which is natural in <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>a</mi></mrow><annotation encoding="application/x-tex">a</annotation></semantics></math> by definition. The counit <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><msub><mi>ϵ</mi> <mi>α</mi></msub></mrow><annotation encoding="application/x-tex">\epsilon_\alpha</annotation></semantics></math> is obtained via the usual 1-chasing, and is given in components by</p> <div class="maruku-equation"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block" class="maruku-mathml"><semantics><mrow><mo stretchy="false">(</mo><msub><mi>ϵ</mi> <mi>α</mi></msub><msub><mo stretchy="false">)</mo> <mi>B</mi></msub><mo stretchy="false">(</mo><mi>f</mi><mo stretchy="false">)</mo><mo>=</mo><msub><mi>α</mi> <mi>B</mi></msub><mo stretchy="false">(</mo><msub><mi>r</mi> <mi>f</mi></msub><mo stretchy="false">)</mo><mo>∘</mo><mo stretchy="false">(</mo><msub><mi>α</mi> <mi>f</mi></msub><mo stretchy="false">)</mo><mo stretchy="false">(</mo><msub><mn>1</mn> <mi>A</mi></msub><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex"> (\epsilon_\alpha)_B(f) = \alpha_B(r_f) \circ (\alpha_f)(1_A) </annotation></semantics></math></div> <p>where <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>r</mi></mrow><annotation encoding="application/x-tex">r</annotation></semantics></math> is the right unitor of <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>C</mi></mrow><annotation encoding="application/x-tex">C</annotation></semantics></math>. Some diagram-chasing confirms that this is indeed natural in everything, and so <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>ϵ</mi><mo>:</mo><mi>J</mi><mi>I</mi><mover><mo>→</mo><mo>˙</mo></mover><mi>Lax</mi><mo stretchy="false">(</mo><mi>y</mi><mi>A</mi><mo>,</mo><mi>F</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">\epsilon: J I \dot{\to} Lax(y A,F)</annotation></semantics></math>.</p> <p>The triangle identities may be proved by expanding the definitions above and using the coherence conditions on lax functors and transformations and coherence of <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>C</mi></mrow><annotation encoding="application/x-tex">C</annotation></semantics></math>.</p> <p>See Gray for the case <a class="existingWikiWord" href="/nlab/show/strict+2-categories">strict 2-categories</a> and strict 2-functors.</p> </div> <div class="query"> <p><a class="existingWikiWord" href="/nlab/show/Finn+Lawler">Finn</a>: I don’t know how natural this is in <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>F</mi></mrow><annotation encoding="application/x-tex">F</annotation></semantics></math> and <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>A</mi></mrow><annotation encoding="application/x-tex">A</annotation></semantics></math>, but I’ll try to figure it out.</p> <p>Also, if you reverse the definitions of lax and oplax transformations, then you should do the same for functors, and I think in that case <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>I</mi><mo>⊣</mo><mi>J</mi></mrow><annotation encoding="application/x-tex">I\dashv J</annotation></semantics></math>.</p> <p><a class="existingWikiWord" href="/nlab/show/Mike+Shulman">Mike Shulman</a>: Please don’t try to reverse the definitions of lax and oplax functors! As far as I know everyone is consistent about those, regardless of the choices they make about lax and oplax transformations, so let’s not create <em>additional</em> confusion. Lax functors have comparison maps that go <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>F</mi><mi>g</mi><mo>∘</mo><mi>F</mi><mi>f</mi><mo>→</mo><mi>F</mi><mo stretchy="false">(</mo><mi>g</mi><mo>∘</mo><mi>f</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex">F g \circ F f\to F(g\circ f)</annotation></semantics></math>.</p> </div> <h2 id="related_concepts">Related concepts</h2> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/homotopy">homotopy</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/transfor">transfor</a></p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/natural+transformation">natural transformation</a></p> <ul> <li><a class="existingWikiWord" href="/nlab/show/extranatural+transformation">extranatural transformation</a>, <a class="existingWikiWord" href="/nlab/show/dinatural+transformation">dinatural transformation</a></li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/pseudonatural+transformation">pseudonatural transformation</a></p> <ul> <li><a class="existingWikiWord" href="/nlab/show/pseudo-extranatural+transformation">pseudo-extranatural transformation</a></li> </ul> </li> <li> <p><strong>lax natural transformation</strong></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/2-dinatural+transformation">2-dinatural transformation</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/lax+F-natural+transformation">lax F-natural transformation</a></p> </li> </ul> </li> </ul> <h2 id="references">References</h2> <p>See the references at <a class="existingWikiWord" href="/nlab/show/2-category">2-category</a>. For instance (note slightly outdated terminology)</p> <ul> <li>Gray, <em><a class="existingWikiWord" href="/nlab/show/Gray-adjointness-for-2-categories">Adjointness For 2-Categories</a></em></li> </ul> <p>The definition is spelled out explicitly in the following, where they are called <em>lax transformations</em>:</p> <ul> <li id="JohnsonYau20"><a class="existingWikiWord" href="/nlab/show/Niles+Johnson">Niles Johnson</a>, <a class="existingWikiWord" href="/nlab/show/Donald+Yau">Donald Yau</a>, <em>2-Dimensional Categories</em>, Oxford University Press 2021 (<a href="http://arxiv.org/abs/2002.06055">arXiv:2002.06055</a>, <a href="https://oxford.universitypressscholarship.com/view/10.1093/oso/9780198871378.001.0001/oso-9780198871378">doi:10.1093/oso/9780198871378.001.0001</a>)</li> </ul> <p>In the following <strong>oplax natural transformations</strong> are defined, but called, simply, “transformations”:</p> <ul> <li> <p><a class="existingWikiWord" href="/nlab/show/Tom+Leinster">Tom Leinster</a>, <em>Basic bicategories</em>,</p> <p><a href="http://arxiv.org/abs/math/9810017">arXiv:math/9810017</a>.</p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Ross+Street">Ross Street</a>, <em>Two constructions on lax functors</em>, Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 13 (1972) no. 3 , p. 217-264 <a href="http://www.numdam.org/item?id=CTGDC_1972__13_3_217_0">numdam</a></p> </li> </ul> </body></html> </div> <div class="revisedby"> <p> Last revised on December 10, 2023 at 00:12:46. See the <a href="/nlab/history/lax+natural+transformation" style="color: #005c19">history</a> of this page for a list of all contributions to it. </p> </div> <div class="navigation navfoot"> <a href="/nlab/edit/lax+natural+transformation" accesskey="E" class="navlink" id="edit" rel="nofollow">Edit</a><a href="https://nforum.ncatlab.org/discussion/1622/#Item_3">Discuss</a><span class="backintime"><a href="/nlab/revision/lax+natural+transformation/37" accesskey="B" class="navlinkbackintime" id="to_previous_revision" rel="nofollow">Previous revision</a></span><a href="/nlab/show/diff/lax+natural+transformation" accesskey="C" class="navlink" id="see_changes" rel="nofollow">Changes from previous revision</a><a href="/nlab/history/lax+natural+transformation" accesskey="S" class="navlink" id="history" rel="nofollow">History (37 revisions)</a> <a href="/nlab/show/lax+natural+transformation/cite" style="color: black">Cite</a> <a href="/nlab/print/lax+natural+transformation" accesskey="p" id="view_print" rel="nofollow">Print</a> <a href="/nlab/source/lax+natural+transformation" id="view_source" rel="nofollow">Source</a> </div> </div>  </div>  </body> </html>