12,179
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0 (view source)
Revision as of 20:02, 9 July 2008
, 20:02, 9 July 2008→Original Format: HTML → TeX
|+ '''Table 5. A Bridge Over Troubled Waters'''
|+ '''Table 5. A Bridge Over Troubled Waters'''
|- style="background:ghostwhite"
|- style="background:ghostwhite"
| align="center" | <math>\mbox{Linear Space}\!</math>
| align="center" | <math>\mbox{Liminal Space}\!</math>
| align="center" | <math>\mbox{Logical Space}\!</math>
|-
|-
|
|
|-
|-
|
|
<math>\begin{matrix}
(hom : ''X'' → '''K''')<br>
X^* & = & (\ell : X \to \mathbb{K}) \\
& \cong & \mathbb{K}^n \\
\end{matrix}</math>
|
|
<u>''X''</u>*<br>
<math>\begin{matrix}
(hom : <u>''X''</u> → '''B''')<br>
\underline{X}^* & = & (\ell : \underline{X} \to \mathbb{B}) \\
& \cong & \mathbb{B}^n \\
\end{matrix}</math>
|
|
<math>\begin{matrix}
(hom : ''A'' → '''B''')<br>
A^* & = & (\ell : A \to \mathbb{B}) \\
& \cong & \mathbb{B}^n \\
\end{matrix}</math>
|-
|-
|
|