12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Thursday May 30, 2024
Jump to navigationJump to search→Table 58. Cast of Characters: Expansive Subtypes of Objects and Operators
|}
|}
|}<br>
|}<br>
<pre>
<pre>
-------------o
-------------o
| F | F = <f, g> : U% -> X% | Transformation, | [B^n] -> [B^k] |
| F | F = <f, g> : U% -> X% | Transformation, | [B^n] -> [B^k] |
| | | or Mapping | |
| | | or Mapping
-------------o
-------------o
| | f, g : U -> B | Proposition, | B^n -> B |
| | f, g : U -> B | Proposition, | B^n -> B |
| | | special case | |
| | | special case | |
| | | or component | |
| | | or component | |
| g | g : U -> [y] c X% | of a mapping. | = (B^n +-> B) = [B^n] |
| g | g : U -> [y] c X% | of a mapping. | = (B^n +-> B) = [B^n] |
-------------o
-------------o
| W | W : | Operator | |
| W | W : | Operator | |
| | U% -> EU%, | | [B^n] -> [B^n x D^n], |
| | U% -> EU%, | | [B^n] -> [B^n x D^n], |
| | for each W among: | | -> |
| | for each W among: | | -> |
| | !e!, !h!, E, D, d | | ([B^n x D^n]->[B^k x D^k]) |
| | !e!, !h!, E, D, d | | ([B^n x D^n]->[B^k x D^k]) |
-------------o
-------------o
| !e! | | Tacit Extension Operator !e!
| !e! | | Tacit Extension Operator !e! |
| !h! | | Trope Extension Operator !h!
| !h! | | Trope Extension Operator !h! |
| E | | Enlargement Operator E
| E | | Enlargement Operator E |
| D | | Difference Operator D
| D | | Difference Operator D |
| d | | Differential Operator d
| d | | Differential Operator d |
-------------o
-------------o
| $W$ | $W$ : | Operator | |
| $W$ | $W$ : | Operator | |
| | U% -> $T$U% = EU%, | | [B^n] -> [B^n x D^n], |
| | U% -> $T$U% = EU%, | | [B^n] -> [B^n x D^n], |
| | X% -> $T$X% = EX%, | | [B^k] -> [B^k x D^k], |
| | X% -> $T$X% = EX%, | | [B^k] -> [B^k x D^k], |
| | for each $W$ among: | | -> |
| | for each $W$ among: | | -> |
| | $e$, $E$, $D$, $T$ | | ([B^n x D^n]->[B^k x D^k]) |
| | $e$, $E$, $D$, $T$ | | ([B^n x D^n]->[B^k x D^k]) |
-------------o
-------------o
| $e$ | | Radius Operator $e$ = <!e!, !h!> |
| $e$ | | Radius Operator $e$ = <!e!, !h!> |
| $E$ | | Secant Operator $E$ = <!e!, E > |
| $E$ | | Secant Operator $E$ = <!e!, E > |
| $D$ | | Chord Operator $D$ = <!e!, D > |
| $D$ | | Chord Operator $D$ = <!e!, D > |
| $T$ | | Tangent Functor $T$ = <!e!, d > |
| $T$ | | Tangent Functor $T$ = <!e!, d > |
-------------o
-------------o
</pre>
</pre>
