12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday November 27, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0 (view source)
Revision as of 14:52, 8 July 2013
, 14:52, 8 July 2013→Transformations of Type B2 → B2: link to image
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.
<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>
<p>[[Image:Diff Log Dyn Sys -- Figure 70-b -- Tangent Functor Diagram.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.
