Line 6,410: |
Line 6,410: |
| Figure 52. Decomposition of the Enlarged Conjunction EJ = (J, DJ) | | Figure 52. Decomposition of the Enlarged Conjunction EJ = (J, DJ) |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 52 -- Decomposition of EJ.gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 52. Decomposition of E''J'''''</font></center></p> |
| | | |
| ===Figure 53. Decomposition of the Differed Conjunction DJ = (dJ, ddJ)=== | | ===Figure 53. Decomposition of the Differed Conjunction DJ = (dJ, ddJ)=== |
Line 6,461: |
Line 6,465: |
| Figure 53. Decomposition of the Differed Conjunction DJ = (dJ, ddJ) | | Figure 53. Decomposition of the Differed Conjunction DJ = (dJ, ddJ) |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 53 -- Decomposition of DJ.gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 53. Decomposition of D''J'''''</font></center></p> |
| | | |
| ===Table 54. Cast of Characters: Expansive Subtypes of Objects and Operators=== | | ===Table 54. Cast of Characters: Expansive Subtypes of Objects and Operators=== |
Line 7,163: |
Line 7,171: |
| Figure 56-a1. Radius Map of the Conjunction J = uv | | Figure 56-a1. Radius Map of the Conjunction J = uv |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 56-a1 -- Radius Map of J.gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 56-a1. Radius Map of the Conjunction ''J'' = ''uv'''''</font></center></p> |
| | | |
| ===Figure 56-a2. Secant Map of the Conjunction J = uv=== | | ===Figure 56-a2. Secant Map of the Conjunction J = uv=== |
Line 7,231: |
Line 7,243: |
| Figure 56-a2. Secant Map of the Conjunction J = uv | | Figure 56-a2. Secant Map of the Conjunction J = uv |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 56-a2 -- Secant Map of J.gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 56-a2. Secant Map of the Conjunction ''J'' = ''uv'''''</font></center></p> |
| | | |
| ===Figure 56-a3. Chord Map of the Conjunction J = uv=== | | ===Figure 56-a3. Chord Map of the Conjunction J = uv=== |
Line 7,299: |
Line 7,315: |
| Figure 56-a3. Chord Map of the Conjunction J = uv | | Figure 56-a3. Chord Map of the Conjunction J = uv |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 56-a3 -- Chord Map of J.gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 56-a3. Chord Map of the Conjunction ''J'' = ''uv'''''</font></center></p> |
| | | |
| ===Figure 56-a4. Tangent Map of the Conjunction J = uv=== | | ===Figure 56-a4. Tangent Map of the Conjunction J = uv=== |
Line 7,367: |
Line 7,387: |
| Figure 56-a4. Tangent Map of the Conjunction J = uv | | Figure 56-a4. Tangent Map of the Conjunction J = uv |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 56-a4 -- Tangent Map of J.gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 56-a4. Tangent Map of the Conjunction ''J'' = ''uv'''''</font></center></p> |
| | | |
| ===Figure 56-b1. Radius Map of the Conjunction J = uv=== | | ===Figure 56-b1. Radius Map of the Conjunction J = uv=== |
Line 7,467: |
Line 7,491: |
| Figure 56-b1. Radius Map of the Conjunction J = uv | | Figure 56-b1. Radius Map of the Conjunction J = uv |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 56-b1 -- Radius Map of J.gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 56-b1. Radius Map of the Conjunction ''J'' = ''uv'''''</font></center></p> |
| | | |
| ===Figure 56-b2. Secant Map of the Conjunction J = uv=== | | ===Figure 56-b2. Secant Map of the Conjunction J = uv=== |
Line 7,567: |
Line 7,595: |
| Figure 56-b2. Secant Map of the Conjunction J = uv | | Figure 56-b2. Secant Map of the Conjunction J = uv |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 56-b2 -- Secant Map of J.gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 56-b2. Secant Map of the Conjunction ''J'' = ''uv'''''</font></center></p> |
| | | |
| ===Figure 56-b3. Chord Map of the Conjunction J = uv=== | | ===Figure 56-b3. Chord Map of the Conjunction J = uv=== |
Line 7,667: |
Line 7,699: |
| Figure 56-b3. Chord Map of the Conjunction J = uv | | Figure 56-b3. Chord Map of the Conjunction J = uv |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 56-b3 -- Chord Map of J.gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 56-b3. Chord Map of the Conjunction ''J'' = ''uv'''''</font></center></p> |
| | | |
| ===Figure 56-b4. Tangent Map of the Conjunction J = uv=== | | ===Figure 56-b4. Tangent Map of the Conjunction J = uv=== |
Line 7,767: |
Line 7,803: |
| Figure 56-b4. Tangent Map of the Conjunction J = uv | | Figure 56-b4. Tangent Map of the Conjunction J = uv |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 56-b4 -- Tangent Map of J.gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 56-b4. Tangent Map of the Conjunction ''J'' = ''uv'''''</font></center></p> |
| | | |
| ===Figure 57-1. Radius Operator Diagram for the Conjunction J = uv=== | | ===Figure 57-1. Radius Operator Diagram for the Conjunction J = uv=== |
Line 7,837: |
Line 7,877: |
| Figure 57-1. Radius Operator Diagram for the Conjunction J = uv | | Figure 57-1. Radius Operator Diagram for the Conjunction J = uv |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 57-1 -- Radius Operator Diagram for J.gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 57-1. Radius Operator Diagram for the Conjunction ''J'' = ''uv'''''</font></center></p> |
| | | |
| ===Figure 57-2. Secant Operator Diagram for the Conjunction J = uv=== | | ===Figure 57-2. Secant Operator Diagram for the Conjunction J = uv=== |
Line 7,907: |
Line 7,951: |
| Figure 57-2. Secant Operator Diagram for the Conjunction J = uv | | Figure 57-2. Secant Operator Diagram for the Conjunction J = uv |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 57-2 -- Secant Operator Diagram for J.gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 57-2. Secant Operator Diagram for the Conjunction ''J'' = ''uv'''''</font></center></p> |
| | | |
| ===Figure 57-3. Chord Operator Diagram for the Conjunction J = uv=== | | ===Figure 57-3. Chord Operator Diagram for the Conjunction J = uv=== |
Line 7,977: |
Line 8,025: |
| Figure 57-3. Chord Operator Diagram for the Conjunction J = uv | | Figure 57-3. Chord Operator Diagram for the Conjunction J = uv |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 57-3 -- Chord Operator Diagram for J.gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 57-3. Chord Operator Diagram for the Conjunction ''J'' = ''uv'''''</font></center></p> |
| | | |
| ===Figure 57-4. Tangent Functor Diagram for the Conjunction J = uv=== | | ===Figure 57-4. Tangent Functor Diagram for the Conjunction J = uv=== |
Line 8,047: |
Line 8,099: |
| Figure 57-4. Tangent Functor Diagram for the Conjunction J = uv | | Figure 57-4. Tangent Functor Diagram for the Conjunction J = uv |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 57-4 -- Tangent Functor Diagram for J.gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 57-4. Tangent Functor Diagram for the Conjunction ''J'' = ''uv'''''</font></center></p> |
| | | |
| ===Formula Display 11=== | | ===Formula Display 11=== |
Line 9,084: |
Line 9,140: |
| Figure 61. Propositional Transformation | | Figure 61. Propositional Transformation |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 61 -- Propositional Transformation.gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 61. Propositional Transformation'''</font></center></p> |
| | | |
| ===Figure 62. Propositional Transformation (Short Form)=== | | ===Figure 62. Propositional Transformation (Short Form)=== |
Line 9,135: |
Line 9,195: |
| Figure 62. Propositional Transformation (Short Form) | | Figure 62. Propositional Transformation (Short Form) |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 62 -- Propositional Transformation (Short Form).gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 62. Propositional Transformation (Short Form)'''</font></center></p> |
| | | |
| ===Figure 63. Transformation of Positions=== | | ===Figure 63. Transformation of Positions=== |
Line 9,212: |
Line 9,276: |
| Figure 63. Transformation of Positions | | Figure 63. Transformation of Positions |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 63 -- Transformation of Positions.gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 63. Transformation of Positions'''</font></center></p> |
| | | |
| ===Table 64. Transformation of Positions=== | | ===Table 64. Transformation of Positions=== |
Line 10,381: |
Line 10,449: |
| </font><br> | | </font><br> |
| | | |
− | ===Figure 69. Difference Map of F = ‹f, g› = ‹((u)(v)), ((u, v))›=== | + | ===Figure 69. Difference Map of F = ‹f, g› = ‹((u)(v)), ((u, v))›=== |
| | | |
| <pre> | | <pre> |
Line 10,447: |
Line 10,515: |
| Figure 69. Difference Map of F = <f, g> = <((u)(v)), ((u, v))> | | Figure 69. Difference Map of F = <f, g> = <((u)(v)), ((u, v))> |
| </pre> | | </pre> |
| + | |
| + | <br> |
| + | <p>[[Image:Diff Log Dyn Sys -- Figure 69 -- Difference Map (Short Form).gif|center]]</p> |
| + | <p><center><font size="+1">'''Figure 69. Difference Map of F = ‹f, g› = ‹((u)(v)), ((u, v))›'''</font></center></p> |
| | | |
| ===Formula Display 19=== | | ===Formula Display 19=== |
Line 10,485: |
Line 10,557: |
| </font><br> | | </font><br> |
| | | |
− | ===Figure 70-a. Tangent Functor Diagram for F‹u, v› = ‹((u)(v)), ((u, v))›=== | + | ===Figure 70-a. Tangent Functor Diagram for F‹u, v› = ‹((u)(v)), ((u, v))›=== |
| | | |
| <pre> | | <pre> |
Line 10,570: |
Line 10,642: |
| Figure 70-a. Tangent Functor Diagram for F‹u, v› = <((u)(v)), ((u, v))> | | Figure 70-a. Tangent Functor Diagram for F‹u, v› = <((u)(v)), ((u, v))> |
| </pre> | | </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-b. Tangent Functor Ferris Wheel for F‹u, v› = ‹((u)(v)), ((u, v))›=== | | ===Figure 70-b. Tangent Functor Ferris Wheel for F‹u, v› = ‹((u)(v)), ((u, v))›=== |