Line 8,329: |
Line 8,329: |
| | | |
| {| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:left; width:96%" | | {| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:left; width:96%" |
− | |+ '''Table 55. Synopsis of Terminology: Restrictive and Alternative Subtypes''' | + | |+ '''Table 59. Synopsis of Terminology: Restrictive and Alternative Subtypes |
| + | ''' |
| |- style="background:paleturquoise" | | |- style="background:paleturquoise" |
| ! | | ! |
− | ! Operator | + | ! Operator or Operand |
− | ! Proposition | + | ! Proposition or Component |
− | ! Map | + | ! Transformation or Mapping |
| |- | | |- |
| | | | | |
Line 8,646: |
Line 8,647: |
| |} | | |} |
| |}<br> | | |}<br> |
| + | |
| + | <pre> |
| + | o--------------o----------------------o--------------------o----------------------o |
| + | | | Operator | Proposition | Transformation | |
| + | | | or | or | or | |
| + | | | Operand | Component | Mapping | |
| + | o--------------o----------------------o--------------------o----------------------o |
| + | | | | | | |
| + | | Operand | F = <F_1, F_2> | F_i : <|u,v|> -> B | F : [u, v] -> [x, y] | |
| + | | | | | | |
| + | | | F = <f, g> : U -> X | F_i : B^n -> B | F : B^n -> B^k | |
| + | | | | | | |
| + | o--------------o----------------------o--------------------o----------------------o |
| + | | | | | | |
| + | | Tacit | !e! : | !e!F_i : | !e!F : | |
| + | | Extension | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> B | [u,v,du,dv]->[x, y] | |
| + | | | (U%->X%)->(EU%->X%) | B^n x D^n -> B | [B^n x D^n]->[B^k] | |
| + | | | | | | |
| + | o--------------o----------------------o--------------------o----------------------o |
| + | | | | | | |
| + | | Trope | !h! : | !h!F_i : | !h!F : | |
| + | | Extension | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> D | [u,v,du,dv]->[dx,dy] | |
| + | | | (U%->X%)->(EU%->dX%) | B^n x D^n -> D | [B^n x D^n]->[D^k] | |
| + | | | | | | |
| + | o--------------o----------------------o--------------------o----------------------o |
| + | | | | | | |
| + | | Enlargement | E : | EF_i : | EF : | |
| + | | Operator | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> D | [u,v,du,dv]->[dx,dy] | |
| + | | | (U%->X%)->(EU%->dX%) | B^n x D^n -> D | [B^n x D^n]->[D^k] | |
| + | | | | | | |
| + | o--------------o----------------------o--------------------o----------------------o |
| + | | | | | | |
| + | | Difference | D : | DF_i : | DF : | |
| + | | Operator | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> D | [u,v,du,dv]->[dx,dy] | |
| + | | | (U%->X%)->(EU%->dX%) | B^n x D^n -> D | [B^n x D^n]->[D^k] | |
| + | | | | | | |
| + | o--------------o----------------------o--------------------o----------------------o |
| + | | | | | | |
| + | | Differential | d : | dF_i : | dF : | |
| + | | Operator | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> D | [u,v,du,dv]->[dx,dy] | |
| + | | | (U%->X%)->(EU%->dX%) | B^n x D^n -> D | [B^n x D^n]->[D^k] | |
| + | | | | | | |
| + | o--------------o----------------------o--------------------o----------------------o |
| + | | | | | | |
| + | | Remainder | r : | rF_i : | rF : | |
| + | | Operator | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> D | [u,v,du,dv]->[dx,dy] | |
| + | | | (U%->X%)->(EU%->dX%) | B^n x D^n -> D | [B^n x D^n]->[D^k] | |
| + | | | | | | |
| + | o--------------o----------------------o--------------------o----------------------o |
| + | | | | | | |
| + | | Radius | $e$ = <!e!, !h!> : | | $e$F : | |
| + | | Operator | | | | |
| + | | | U%->EU%, X%->EX%, | | [u, v, du, dv] -> | |
| + | | | (U%->X%)->(EU%->EX%) | | [x, y, dx, dy], | |
| + | | | | | | |
| + | | | | | [B^n x D^n] -> | |
| + | | | | | [B^k x D^k] | |
| + | | | | | | |
| + | o--------------o----------------------o--------------------o----------------------o |
| + | | | | | | |
| + | | Secant | $E$ = <!e!, E> : | | $E$F : | |
| + | | Operator | | | | |
| + | | | U%->EU%, X%->EX%, | | [u, v, du, dv] -> | |
| + | | | (U%->X%)->(EU%->EX%) | | [x, y, dx, dy], | |
| + | | | | | | |
| + | | | | | [B^n x D^n] -> | |
| + | | | | | [B^k x D^k] | |
| + | | | | | | |
| + | o--------------o----------------------o--------------------o----------------------o |
| + | | | | | | |
| + | | Chord | $D$ = <!e!, D> : | | $D$F : | |
| + | | Operator | | | | |
| + | | | U%->EU%, X%->EX%, | | [u, v, du, dv] -> | |
| + | | | (U%->X%)->(EU%->EX%) | | [x, y, dx, dy], | |
| + | | | | | | |
| + | | | | | [B^n x D^n] -> | |
| + | | | | | [B^k x D^k] | |
| + | | | | | | |
| + | o--------------o----------------------o--------------------o----------------------o |
| + | | | | | | |
| + | | Tangent | $T$ = <!e!, d> : | dF_i : | $T$F : | |
| + | | Functor | | | | |
| + | | | U%->EU%, X%->EX%, | <|u,v,du,dv|> -> D | [u, v, du, dv] -> | |
| + | | | (U%->X%)->(EU%->EX%) | | [x, y, dx, dy], | |
| + | | | | | | |
| + | | | | B^n x D^n -> D | [B^n x D^n] -> | |
| + | | | | | [B^k x D^k] | |
| + | | | | | | |
| + | o--------------o----------------------o--------------------o----------------------o |
| + | </pre> |
| | | |
| ===Formula Display 12=== | | ===Formula Display 12=== |