[Inquiry] Re: Differential Logic

[Jon Awbrey]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

DLOG.  Note D71

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

| The past and present wilt . . . . I have filled them and
|    emptied them,
| And proceed to fill my next fold of the future.
|
| Walt Whitman, 'Leaves of Grass', [Whi, 87]

Taking Aim at Higher Dimensional Targets

In the next Subdivision I consider a logical transformation F that has the
concrete type F : [u, v] -> [x, y] and the abstract type F : [B^2] -> [B^2].