Simple rational approximation: Difference between revisions

Latest revision as of 00:30, 29 August 2014

Ed is what people call me and my spouse doesn't like it at all. Since he was eighteen he's been operating as an info officer but he plans on changing it. For a while I've been in Alaska but I will have to transfer in a year or two. What me and my family members love is to climb but I'm considering on starting some thing new.

Check out my site; tarot readings

@@ Line 1: / Line 1: @@
-{{Unreferenced|date=March 2009}}
+Ed is what people call me and my spouse doesn't like it at all. Since he was eighteen he's been operating as an info officer but he plans on changing it. For a while I've been in Alaska but I will have to transfer in a year or two. What me and my family members love is to climb but I'm considering on starting some thing new.<br><br>Check out my site; [http://mybrandcp.com/xe/board_XmDx25/107997 tarot readings]
-Suppose that <math>(\mathcal C,\otimes,I)</math> and <math>(\mathcal D,\bullet,J)</math> are two [[monoidal category|monoidal categories]]. A '''monoidal adjunction''' between two [[lax monoidal functor]]s
-:<math>(F,m):(\mathcal C,\otimes,I)\to (\mathcal D,\bullet,J)</math> and <math>(G,n):(\mathcal D,\bullet,J)\to(\mathcal C,\otimes,I)</math>
-is an [[Adjoint functors|adjunction]] <math>(F,G,\eta,\varepsilon)</math> between the underlying functors, such that the [[natural transformation]]s
-:<math>\eta:1_{\mathcal C}\Rightarrow G\circ F</math> and <math>\varepsilon:F\circ G\Rightarrow 1_{\mathcal D}</math>
-are [[monoidal natural transformation]]s.
-== Lifting adjunctions to monoidal adjunctions ==
-Suppose that
-:<math>(F,m):(\mathcal C,\otimes,I)\to (\mathcal D,\bullet,J)</math>
-is a lax monoidal functor such that the underlying functor <math>F:\mathcal C\to\mathcal D</math> has a right adjoint <math>G:\mathcal D\to\mathcal C</math>. This adjuction lifts to a monoidal adjuction <math>(F,m)</math>⊣<math>(G,n)</math> if and only if the lax monoidal functor <math>(F,m)</math> is strong.
-== See also ==
-* Every monoidal adjunction <math>(F,m)</math>⊣<math>(G,n)</math> defines a [[monoidal monad]] <math>G\circ F</math>.
-[[Category:Adjoint functors]]
-[[Category:Monoidal categories]]

Simple rational approximation: Difference between revisions

Latest revision as of 00:30, 29 August 2014

Navigation menu

Search