12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems (view source)
Revision as of 12:42, 3 July 2008
, 12:42, 3 July 2008→Transformations of Type '''B'''<sup>2</sup> → '''B'''<sup>2</sup>: center figure to fix anomalous floating
Figure 70-b shows another way to picture the action of the tangent functor on the logical transformation ''F''‹''u'', ''v''› = ‹((''u'')(''v'')), ((''u'', ''v''))›, roughly in the style of the ''bundle of universes'' type of diagram.
Figure 70-b shows another way to picture the action of the tangent functor on the logical transformation ''F''‹''u'', ''v''› = ‹((''u'')(''v'')), ((''u'', ''v''))›, roughly in the style of the ''bundle of universes'' type of diagram.
[[Image:Tangent_Functor_Ferris_Wheel.gif|frame|<font size="3">'''Figure 70-b. Tangent Functor Ferris Wheel for F‹u, v› = ‹((u)(v)), ((u, v))›'''</font>]]
<p>[[Image:Tangent_Functor_Ferris_Wheel.gif|center|frame|<font size="3">'''Figure 70-b. Tangent Functor Ferris Wheel for F‹u, v› = ‹((u)(v)), ((u, v))›'''</font>]]</p>
* '''Nota Bene.''' The original Figure 70-b lost some of its labeling in a succession of platform metamorphoses over the years, so I have included an Ascii version below to indicate where the missing labels go.
* '''Nota Bene.''' The original Figure 70-b lost some of its labeling in a succession of platform metamorphoses over the years, so I have included an Ascii version below to indicate where the missing labels go.