Changes

User:Jon Awbrey/ATLAS (view source)

Revision as of 19:04, 22 June 2007

173 bytes removed , 19:04, 22 June 2007

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

Line 6,351: Line 6,351:

'''W'''

−

~~~~

{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:left; width:96%"

|+ '''Table 54. Cast of Characters: Expansive Subtypes of Objects and Operators'''

Line 6,380: Line 6,379:

| ['''B'''1 × '''D'''1]

|-

+

| ''J''

+

| ''J'' : ''U'' → '''B'''

+

| Proposition

+

| ('''B'''2 → '''B''') ∈ ['''B'''2]

+

|-

+

| ''J''

+

| ''J'' : ''U'' • → ''X'' •

+

| Transformation, or Mapping

+

| ['''B'''2] → ['''B'''1]

+

|-

+

|  

+

|  

+

|  

|-

Line 6,432: Line 6,444:

('''B'''''n'' +→ '''B''')

['''B'''''n'']

−

|}~~~~

+

|}

<pre>

−

~~| X% | = [x] | Target Universe | [B^1]~~

−

~~-------------o~~

−

~~| EU% | = [u, v, du, dv] | Extended Source Universe | [B^2 x D^2]~~

−

~~-------------o~~

−

~~| EX% | = [x, dx] | Extended Target Universe | [B^1 x D^1]~~

−

~~-------------o~~

−

~~| J | J : U -> B | Proposition | (B^2 -> B) c [B^2]~~

−

~~-------------o~~

−

~~| J | J : U% -> X% | Transformation, or Mapping | [B^2] -> [B^1]~~

−

~~-------------o~~

−

| W | W : | Operator

Jon Awbrey

12,144

edits