Line 7,264: |
Line 7,264: |
| </pre> | | </pre> |
| | | |
− | ===Figure 70-a. Tangent Functor Diagram for F‹u, v› = ‹((u)(v)), ((u, v))›=== | + | ==Inquiry Driven Systems== |
| + | |
| + | ===Table 1. Sign Relation of Interpreter ''A''=== |
| + | |
| + | {| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:60%" |
| + | |+ Table 1. Sign Relation of Interpreter ''A'' |
| + | |- style="background:paleturquoise" |
| + | ! style="width:20%" | Object |
| + | ! style="width:20%" | Sign |
| + | ! style="width:20%" | Interpretant |
| + | |- |
| + | | ''A'' || "A" || "A" |
| + | |- |
| + | | ''A'' || "A" || "i" |
| + | |- |
| + | | ''A'' || "i" || "A" |
| + | |- |
| + | | ''A'' || "i" || "i" |
| + | |- |
| + | | ''B'' || "B" || "B" |
| + | |- |
| + | | ''B'' || "B" || "u" |
| + | |- |
| + | | ''B'' || "u" || "B" |
| + | |- |
| + | | ''B'' || "u" || "u" |
| + | |} |
| + | <br> |
| + | |
| + | ===Table 2. Sign Relation of Interpreter ''B''=== |
| + | |
| + | {| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:60%" |
| + | |+ Table 2. Sign Relation of Interpreter ''B'' |
| + | |- style="background:paleturquoise" |
| + | ! style="width:20%" | Object |
| + | ! style="width:20%" | Sign |
| + | ! style="width:20%" | Interpretant |
| + | |- |
| + | | ''A'' || "A" || "A" |
| + | |- |
| + | | ''A'' || "A" || "u" |
| + | |- |
| + | | ''A'' || "u" || "A" |
| + | |- |
| + | | ''A'' || "u" || "u" |
| + | |- |
| + | | ''B'' || "B" || "B" |
| + | |- |
| + | | ''B'' || "B" || "i" |
| + | |- |
| + | | ''B'' || "i" || "B" |
| + | |- |
| + | | ''B'' || "i" || "i" |
| + | |} |
| + | <br> |
| + | |
| + | ===Table 3. Semiotic Partition of Interpreter ''A''=== |
| | | |
| <pre> | | <pre> |
− | o-------------------------------------------------------------------------------o
| + | Table 3. Semiotic Partition of Interpreter ''A'' |
− | | |
| + | "A" |
− | | df = uv. 0 + u(v). du + (u)v. dv + (u)(v).(du, dv) |
| + | "i" |
− | | |
| + | "u" |
− | | dg = uv.(du, dv) + u(v).(du, dv) + (u)v.(du, dv) + (u)(v).(du, dv) |
| + | "B" |
− | | |
| + | </pre> |
− | o-------------------------------------------------------------------------------o
| |
| | | |
− | o o
| + | ===Table 4. Semiotic Partition of Interpreter ''B''=== |
− | / \ / \
| |
− | / \ / \
| |
− | / \ / 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
| |
| | | |
− | Figure 70-a. Tangent Functor Diagram for F‹u, v› = <((u)(v)), ((u, v))>
| + | <pre> |
| + | Table 4. Semiotic Partition of Interpreter ''B'' |
| + | "A" |
| + | "i" |
| + | "u" |
| + | "B" |
| </pre> | | </pre> |
| | | |