12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday April 06, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems (view source)
Revision as of 15:18, 25 August 2007
, 15:18, 25 August 2007sub [image stub/ascii grafix]
Line 6,960:
Line 6,960:
o o+ / \ / \+ / \ / \
− / \ / O \
− / \ o /@\ o
− / \ / \ / \
− / \ / \ / \
− / O \ / O \ / O \
− o /@\ o o /@\ o /@\ o
− / \ / \ / \ \ / \ \ / \
− / \ / \ / \ / \ / \
− / \ / \ / O \ / O \ / O \
− / \ / \ o /@ o /@\ o /@ o
− / \ / \ / \ \ / \ / \ \ / \
− / \ / \ / \ / \ / \ / \
− / O \ / O \ / O \ / O \ / O \ / O \
−o /@ o /@ o o /@ o /@ o /@ o /@ o
−|\ / \ /| |\ / \ / / \ / / \ /|
−| \ / \ / | | \ / \ / \ / \ / |
−| \ / \ / | | \ / O \ / O \ / O \ / |
−| \ / \ / | | o /@ o @\ o /@ o |
−| \ / \ / | | |\ / \ / \ / \ / \ /| |
−| \ / \ / | | | \ / \ / \ / | |
−| u \ / O \ / v | | u | \ / O \ / O \ / | v |
−o-------o @\ o-------o o---+---o @\ o @\ o---+---o
− \ / | \ / \ / \ / \ / |
− \ / | \ / \ / |
− \ / | du \ / O \ / dv |
− \ / o-------o @\ o-------o
− \ / \ /
− \ / \ /
− \ / \ /
− o o
− U% $T$ $E$U%
− o------------------>o
− | |
− | |
− | |
− | |
− F | | $T$F
− | |
− | |
− | |
− v v
− o------------------>o
− X% $T$ $E$X%
− o o
− / \ / \
− / \ / \
− / \ / O \
− / \ o /@\ o
− / \ / \ / \
− / \ / \ / \
− / O \ / O \ / O \
− o /@\ o o /@\ o /@\ o
− / \ / \ / \ \ / \ / / \
− / \ / \ / \ / \ / \
− / \ / \ / O \ / O \ / O \
− / \ / \ o /@ o /@\ o @\ o
− / \ / \ / \ \ / \ / \ / \ / / \
− / \ / \ / \ / \ / \ / \
− / O \ / O \ / O \ / O \ / O \ / O \
−o /@ o @\ o o /@ o /@ o @\ o @\ o
−|\ / \ /| |\ / \ / \ / \ / \ / \ /|
−| \ / \ / | | \ / \ / \ / \ / |
−| \ / \ / | | \ / O \ / O \ / O \ / |
−| \ / \ / | | o /@ o @ o @\ o |
−| \ / \ / | | |\ / / \ / \ / \ \ /| |
−| \ / \ / | | | \ / \ / \ / | |
−| x \ / O \ / y | | x | \ / O \ / O \ / | y |
−o-------o @ o-------o o---+---o @ o @ o---+---o
− \ / | \ / / \ \ / |
− \ / | \ / \ / |
− \ / | dx \ / O \ / dy |
− \ / o-------o @ o-------o
− \ / \ /
− \ / \ /
− \ / \ /
− o o
−
−
</font><br>
</font><br>
−<pre>
+<br>
−<p>[[Image:Diff Log Dyn Sys -- Figure 70-a -- Tangent Functor Diagram.gif|center]]</p>
−<p><center><font size="+1">'''Figure 70-a. Tangent Functor Diagram for F‹u, v› = ‹((u)(v)), ((u, v))›'''</font></center></p>
−Figure 70-a. Tangent Functor Diagram for F<u, v> = <((u)(v)), ((u, v))>
−</pre>
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.
