Changes

{{DISPLAYTITLE:Differential Logic and Dynamic Systems}}

{{DISPLAYTITLE:Differential Logic and Dynamic Systems}}

[[Image:Tangent_Functor_Ferris_Wheel.gif|Tangent Functor Ferris Wheel]]  

[[Image:Tangent_Functor_Ferris_Wheel.gif]]

<blockquote>

<blockquote>

</pre>

</pre>

Figure 70-b shows another way to picture the action of the tangent functor on the logical transformation ''F''‹''u'',&nbsp;''v''›&nbsp;=&nbsp;‹((''u'')(''v'')),&nbsp;((''u'',&nbsp;''v''))›, roughly in the style of the ''bundle of universes'' type of diagram.  (NB.  I can't really do justice to the original Figure in Ascii graphics, but this collection of pictures may serve as a construction kit, with some assembly required, to convey the general idea.)

Figure 70-b shows another way to picture the action of the tangent functor on the logical transformation ''F''‹''u'',&nbsp;''v''›&nbsp;=&nbsp;‹((''u'')(''v'')),&nbsp;((''u'',&nbsp;''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>]]

 

* '''Nota Bene.''' The original Figure 70-b has 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.

<pre>

<pre>