Changes

10,867 bytes added , 15:00, 25 August 2007

add image stub

Line 2,406: Line 2,406:

Figure 20-i. Thematization of Conjunction (Stage 1)

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 20-i -- Thematization of Conjunction (Stage 1).gif|center]]

+

<center>'''Figure 20-i. Thematization of Conjunction (Stage 1)'''</center>

===Figure 20-ii. Thematization of Conjunction (Stage 2)===

Line 2,453: Line 2,457:

Figure 20-ii. Thematization of Conjunction (Stage 2)

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 20-ii -- Thematization of Conjunction (Stage 2).gif|center]]

+

<center>'''Figure 20-ii. Thematization of Conjunction (Stage 2)'''</center>

===Figure 20-iii. Thematization of Conjunction (Stage 3)===

Line 2,496: Line 2,504:

Figure 20-iii. Thematization of Conjunction (Stage 3)

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 20-iii -- Thematization of Conjunction (Stage 3).gif|center]]

+

<center>'''Figure 20-iii. Thematization of Conjunction (Stage 3)'''</center>

===Figure 21. Thematization of Disjunction and Equality===

Line 2,562: Line 2,574:

Figure 21. Thematization of Disjunction and Equality

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 21 -- Thematization of Disjunction and Equality.gif|center]]

+

<center>'''Figure 21. Thematization of Disjunction and Equality'''</center>

===Table 22. Disjunction ''f'' and Equality ''g''===

Line 3,719: Line 3,735:

Figure 30. Generic Frame of a Logical Transformation

</pre>

+

'''Note.''' The following image was corrupted in transit between software platforms.

+

+

[[Image:Diff Log Dyn Sys -- Figure 30 -- Generic Frame of a Logical Transformation.gif|center]]

+

<center>'''Figure 30. Generic Frame of a Logical Transformation'''</center>

===Formula Display 3===

Line 3,775: Line 3,797:

Figure 31. Operator Diagram (1)

</pre>

+

'''Note.''' The following image was corrupted in transit between software platforms.

+

+

[[Image:Diff Log Dyn Sys -- Figure 31 -- Operator Diagram (1).gif|center]]

+

<center>'''Figure 31. Operator Diagram (1)'''</center>

===Figure 32. Operator Diagram (2)===

Line 3,800: Line 3,828:

Figure 32. Operator Diagram (2)

</pre>

+

'''Note.''' The following image was corrupted in transit between software platforms.

+

+

[[Image:Diff Log Dyn Sys -- Figure 32 -- Operator Diagram (2).gif|center]]

+

<center>'''Figure 32. Operator Diagram (2)'''</center>

===Figure 33-i. Analytic Diagram (1)===

Line 3,820: Line 3,854:

Figure 33-i. Analytic Diagram (1)

</pre>

+

'''Note.''' The following image was corrupted in transit between software platforms.

+

+

[[Image:Diff Log Dyn Sys -- Figure 33-i -- Analytic Diagram (1).gif|center]]

+

<center>'''Figure 33-i. Analytic Diagram (1)'''</center>

===Figure 33-ii. Analytic Diagram (2)===

Line 3,840: Line 3,880:

Figure 33-ii. Analytic Diagram (2)

</pre>

+

'''Note.''' The following image was corrupted in transit between software platforms.

+

+

[[Image:Diff Log Dyn Sys -- Figure 33-ii -- Analytic Diagram (2).gif|center]]

+

<center>'''Figure 33-ii. Analytic Diagram (2)'''</center>

===Formula Display 4===

Line 4,058: Line 4,104:

Figure 34. Tangent Functor Diagram

</pre>

+

'''Note.''' The following image was corrupted in transit between software platforms.

+

+

[[Image:Diff Log Dyn Sys -- Figure 34 -- Tangent Functor Diagram.gif|center]]

+

<center>'''Figure 34. Tangent Functor Diagram'''</center>

===Figure 35. Conjunction as Transformation===

Line 4,113: Line 4,165:

Figure 35. Conjunction as Transformation

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 35 -- A Conjunction Viewed as a Transformation.gif|center]]

+

<center>'''Figure 35. Conjunction as Transformation'''</center>

===Table 36. Computation of !e!J===

Line 4,186: Line 4,242:

−

===Figure 37-a. Tacit Extension of J (Areal)===

+

===Figure 37-a. Tacit Extension of ''J''  (Areal)===

<pre>

Line 4,229: Line 4,285:

</pre>

−

===Figure 37-b. Tacit Extension of J (Bundle)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 37-a -- Tacit Extension of J.gif|center]]

+

<center>'''Figure 37-a. Tacit Extension of ''J''  (Areal)'''</center>

+

===Figure 37-b. Tacit Extension of ''J''  (Bundle)===

<pre>

Line 4,298: Line 4,358:

</pre>

−

===Figure 37-c. Tacit Extension of J (Compact)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 37-b -- Tacit Extension of J.gif|center]]

+

<center>'''Figure 37-b. Tacit Extension of ''J''  (Bundle)'''</center>

+

===Figure 37-c. Tacit Extension of ''J''  (Compact)===

<pre>

Line 4,338: Line 4,402:

</pre>

−

===Figure 37-d. Tacit Extension of J (Digraph)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 37-c -- Tacit Extension of J.gif|center]]

+

<center>'''Figure 37-c. Tacit Extension of ''J''  (Compact)'''</center>

+

===Figure 37-d. Tacit Extension of ''J''  (Digraph)===

<pre>

Line 4,379: Line 4,447:

Figure 37-d. Tacit Extension of J (Digraph)

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 37-d -- Tacit Extension of J.gif|center]]

+

<center>'''Figure 37-d. Tacit Extension of ''J''  (Digraph)'''</center>

===Table 38. Computation of EJ (Method 1)===

Line 4,550: Line 4,622:

−

===Figure 40-a. Enlargement of J (Areal)===

+

===Figure 40-a. Enlargement of ''J''  (Areal)===

<pre>

Line 4,593: Line 4,665:

</pre>

−

===Figure 40-b. Enlargement of J (Bundle)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 40-a -- Enlargement of J.gif|center]]

+

<center>'''Figure 40-a. Enlargement of ''J''  (Areal)'''</center>

+

===Figure 40-b. Enlargement of ''J''  (Bundle)===

<pre>

Line 4,662: Line 4,738:

</pre>

−

===Figure 40-c. Enlargement of J (Compact)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 40-b -- Enlargement of J.gif|center]]

+

<center>'''Figure 40-b. Enlargement of ''J''  (Bundle)'''</center>

+

===Figure 40-c. Enlargement of ''J''  (Compact)===

<pre>

Line 4,702: Line 4,782:

</pre>

−

===Figure 40-d. Enlargement of J (Digraph)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 40-c -- Enlargement of J.gif|center]]

+

<center>'''Figure 40-c. Enlargement of ''J''  (Compact)'''</center>

+

===Figure 40-d. Enlargement of ''J''  (Digraph)===

<pre>

Line 4,743: Line 4,827:

Figure 40-d. Enlargement of J (Digraph)

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 40-d -- Enlargement of J.gif|center]]

+

<center>'''Figure 40-d. Enlargement of ''J''  (Digraph)'''</center>

===Table 41. Computation of DJ (Method 1)===

Line 5,010: Line 5,098:

−

===Figure 44-a. Difference Map of J (Areal)===

+

===Figure 44-a. Difference Map of ''J''  (Areal)===

<pre>

Line 5,053: Line 5,141:

</pre>

−

===Figure 44-b. Difference Map of J (Bundle)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 44-a -- Difference Map of J.gif|center]]

+

<center>'''Figure 44-a. Difference Map of ''J''  (Areal)'''</center>

+

===Figure 44-b. Difference Map of ''J''  (Bundle)===

<pre>

Line 5,122: Line 5,214:

</pre>

−

===Figure 44-c. Difference Map of J (Compact)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 44-b -- Difference Map of J.gif|center]]

+

<center>'''Figure 44-b. Difference Map of ''J''  (Bundle)'''</center>

+

===Figure 44-c. Difference Map of ''J''  (Compact)===

<pre>

Line 5,163: Line 5,259:

</pre>

−

===Figure 44-d. Difference Map of J (Digraph)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 44-c -- Difference Map of J.gif|center]]

+

<center>'''Figure 44-c. Difference Map of ''J''  (Compact)'''</center>

+

===Figure 44-d. Difference Map of ''J''  (Digraph)===

<pre>

Line 5,201: Line 5,301:

Figure 44-d. Difference Map of J (Digraph)

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 44-d -- Difference Map of J.gif|center]]

+

<center>'''Figure 44-d. Difference Map of ''J''  (Digraph)'''</center>

===Table 45. Computation of dJ===

Line 5,239: Line 5,343:

−

===Figure 46-a. Differential of J (Areal)===

+

===Figure 46-a. Differential of ''J''  (Areal)===

<pre>

Line 5,282: Line 5,386:

</pre>

−

===Figure 46-b. Differential of J (Bundle)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 46-a -- Differential of J.gif|center]]

+

<center>'''Figure 46-a. Differential of ''J''  (Areal)'''</center>

+

===Figure 46-b. Differential of ''J''  (Bundle)===

<pre>

Line 5,351: Line 5,459:

</pre>

−

===Figure 46-c. Differential of J (Compact)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 46-b -- Differential of J.gif|center]]

+

<center>'''Figure 46-b. Differential of ''J''  (Bundle)'''</center>

+

===Figure 46-c. Differential of ''J''  (Compact)===

<pre>

Line 5,388: Line 5,500:

</pre>

−

===Figure 46-d. Differential of J (Digraph)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 46-c -- Differential of J.gif|center]]

+

<center>'''Figure 46-c. Differential of ''J''  (Compact)'''</center>

+

===Figure 46-d. Differential of ''J''  (Digraph)===

<pre>

Line 5,424: Line 5,540:

Figure 46-d. Differential of J (Digraph)

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 46-d -- Differential of J.gif|center]]

+

<center>'''Figure 46-d. Differential of ''J''  (Digraph)'''</center>

===Table 47. Computation of rJ===

Line 5,485: Line 5,605:

−

===Figure 48-a. Remainder of J (Areal)===

+

===Figure 48-a. Remainder of ''J''  (Areal)===

<pre>

Line 5,528: Line 5,648:

</pre>

−

===Figure 48-b. Remainder of J (Bundle)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 48-a -- Remainder of J.gif|center]]

+

<center>'''Figure 48-a. Remainder of ''J''  (Areal)'''</center>

+

===Figure 48-b. Remainder of ''J''  (Bundle)===

<pre>

Line 5,597: Line 5,721:

</pre>

−

===Figure 48-c. Remainder of J (Compact)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 48-b -- Remainder of J.gif|center]]

+

<center>'''Figure 48-b. Remainder of ''J''  (Bundle)'''</center>

+

===Figure 48-c. Remainder of ''J''  (Compact)===

<pre>

Line 5,637: Line 5,765:

</pre>

−

===Figure 48-d. Remainder of J (Digraph)===

+

+

[[Image:Diff Log Dyn Sys -- Figure 48-c -- Remainder of J.gif|center]]

+

<center>'''Figure 48-c. Remainder of ''J''  (Compact)'''</center>

+

===Figure 48-d. Remainder of ''J''  (Digraph)===

<pre>

Line 5,673: Line 5,805:

Figure 48-d. Remainder of J (Digraph)

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 48-d -- Remainder of J.gif|center]]

+

<center>'''Figure 48-d. Remainder of ''J''  (Digraph)'''</center>

===Table 49. Computation Summary for J===

Line 6,274: Line 6,410:

Figure 52. Decomposition of the Enlarged Conjunction EJ = (J, DJ)

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 52 -- Decomposition of EJ.gif|center]]

+

<center>'''Figure 52. Decomposition of E''J'''''</center>

===Figure 53. Decomposition of the Differed Conjunction DJ = (dJ, ddJ)===

Line 6,325: Line 6,465:

Figure 53. Decomposition of the Differed Conjunction DJ = (dJ, ddJ)

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 53 -- Decomposition of DJ.gif|center]]

+

<center>'''Figure 53. Decomposition of D''J'''''</center>

===Table 54. Cast of Characters: Expansive Subtypes of Objects and Operators===

Line 7,027: Line 7,171:

Figure 56-a1. Radius Map of the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 56-a1 -- Radius Map of J.gif|center]]

+

<center>'''Figure 56-a1. Radius Map of the Conjunction ''J'' = ''uv'''''</center>

===Figure 56-a2. Secant Map of the Conjunction J = uv===

Line 7,095: Line 7,243:

Figure 56-a2. Secant Map of the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 56-a2 -- Secant Map of J.gif|center]]

+

<center>'''Figure 56-a2. Secant Map of the Conjunction ''J'' = ''uv'''''</center>

===Figure 56-a3. Chord Map of the Conjunction J = uv===

Line 7,163: Line 7,315:

Figure 56-a3. Chord Map of the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 56-a3 -- Chord Map of J.gif|center]]

+

<center>'''Figure 56-a3. Chord Map of the Conjunction ''J'' = ''uv'''''</center>

===Figure 56-a4. Tangent Map of the Conjunction J = uv===

Line 7,231: Line 7,387:

Figure 56-a4. Tangent Map of the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 56-a4 -- Tangent Map of J.gif|center]]

+

<center>'''Figure 56-a4. Tangent Map of the Conjunction ''J'' = ''uv'''''</center>

===Figure 56-b1. Radius Map of the Conjunction J = uv===

Line 7,331: Line 7,491:

Figure 56-b1. Radius Map of the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 56-b1 -- Radius Map of J.gif|center]]

+

<center>'''Figure 56-b1. Radius Map of the Conjunction ''J'' = ''uv'''''</center>

===Figure 56-b2. Secant Map of the Conjunction J = uv===

Line 7,431: Line 7,595:

Figure 56-b2. Secant Map of the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 56-b2 -- Secant Map of J.gif|center]]

+

<center>'''Figure 56-b2. Secant Map of the Conjunction ''J'' = ''uv'''''</center>

===Figure 56-b3. Chord Map of the Conjunction J = uv===

Line 7,531: Line 7,699:

Figure 56-b3. Chord Map of the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 56-b3 -- Chord Map of J.gif|center]]

+

<center>'''Figure 56-b3. Chord Map of the Conjunction ''J'' = ''uv'''''</center>

===Figure 56-b4. Tangent Map of the Conjunction J = uv===

Line 7,631: Line 7,803:

Figure 56-b4. Tangent Map of the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 56-b4 -- Tangent Map of J.gif|center]]

+

<center>'''Figure 56-b4. Tangent Map of the Conjunction ''J'' = ''uv'''''</center>

===Figure 57-1. Radius Operator Diagram for the Conjunction J = uv===

Line 7,701: Line 7,877:

Figure 57-1. Radius Operator Diagram for the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 57-1 -- Radius Operator Diagram for J.gif|center]]

+

<center>'''Figure 57-1. Radius Operator Diagram for the Conjunction ''J'' = ''uv'''''</center>

===Figure 57-2. Secant Operator Diagram for the Conjunction J = uv===

Line 7,771: Line 7,951:

Figure 57-2. Secant Operator Diagram for the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 57-2 -- Secant Operator Diagram for J.gif|center]]

+

<center>'''Figure 57-2. Secant Operator Diagram for the Conjunction ''J'' = ''uv'''''</center>

===Figure 57-3. Chord Operator Diagram for the Conjunction J = uv===

Line 7,841: Line 8,025:

Figure 57-3. Chord Operator Diagram for the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 57-3 -- Chord Operator Diagram for J.gif|center]]

+

<center>'''Figure 57-3. Chord Operator Diagram for the Conjunction ''J'' = ''uv'''''</center>

===Figure 57-4. Tangent Functor Diagram for the Conjunction J = uv===

Line 7,911: Line 8,099:

Figure 57-4. Tangent Functor Diagram for the Conjunction J = uv

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 57-4 -- Tangent Functor Diagram for J.gif|center]]

+

<center>'''Figure 57-4. Tangent Functor Diagram for the Conjunction ''J'' = ''uv'''''</center>

===Formula Display 11===

Line 8,948: Line 9,140:

Figure 61. Propositional Transformation

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 61 -- Propositional Transformation.gif|center]]

+

<center>'''Figure 61. Propositional Transformation'''</center>

===Figure 62. Propositional Transformation (Short Form)===

Line 8,999: Line 9,195:

Figure 62. Propositional Transformation (Short Form)

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 62 -- Propositional Transformation (Short Form).gif|center]]

+

<center>'''Figure 62. Propositional Transformation (Short Form)'''</center>

===Figure 63. Transformation of Positions===

Line 9,076: Line 9,276:

Figure 63. Transformation of Positions

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 63 -- Transformation of Positions.gif|center]]

+

<center>'''Figure 63. Transformation of Positions'''</center>

===Table 64. Transformation of Positions===

Line 10,245: Line 10,449:

−

===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>

Line 10,311: Line 10,515:

Figure 69. Difference Map of F = <f, g> = <((u)(v)), ((u, v))>

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 69 -- Difference Map (Short Form).gif|center]]

+

<center>'''Figure 69. Difference Map of F = ‹f, g› = ‹((u)(v)), ((u, v))›'''</center>

===Formula Display 19===

Line 10,349: Line 10,557:

−

===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>

Line 10,434: Line 10,642:

Figure 70-a. Tangent Functor Diagram for F‹u, v› = <((u)(v)), ((u, v))>

</pre>

+

+

[[Image:Diff Log Dyn Sys -- Figure 70-a -- Tangent Functor Diagram.gif|center]]

+

<center>'''Figure 70-a. Tangent Functor Diagram for F‹u, v› = ‹((u)(v)), ((u, v))›'''</center>

===Figure 70-b. Tangent Functor Ferris Wheel for F‹u, v› = ‹((u)(v)), ((u, v))›===

Jon Awbrey

12,080

edits

Changes

User:Jon Awbrey/ATLAS (view source)

Revision as of 15:00, 25 August 2007