ONT Re: Differential Logic
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
DLOG. Note D67
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
End of Perfunctory Chatter: Time to Roll the Clip!
Two steps remain to finish the analysis of J that I began so long ago.
First, I need to paste the accumulated heap of flat pictures into the
frames of transformations, filling out the shapes of the operator maps
$W$J : EU% -> EX%. This scheme is executed in two styles, using the
"areal views" in Figures 56-a and the "box views" in Figures 56-b.
Finally, in Figures 57-1 to 57-4 I put all the pieces together to
construct the full operator diagrams for $W$ : J -> $W$J. There
is a large amount of redundancy in these three series of figures.
At this early stage of exposition I thought that it would be better
not to tax the reader's imagination, and to guarantee that the author,
at least, has worked through the relevant exercises. I hope the reader
will excuse the flagrant use of space and try to view these snapshots as
successive frames in the animation of logic that they are meant to become.
Jon Awbrey
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o