MyWikiBiz, Author Your Legacy — Tuesday September 02, 2025
Jump to navigationJump to search
40 bytes added
, 17:48, 17 January 2009
Line 3,114: |
Line 3,114: |
| | | |
| <li> | | <li> |
− | <p>In a setting where the connection F is fixed but the imagination f is allowed to vary over a wide range of possibilities, call P the "stretch of F to f on U", and write it in the style "F$f", exactly as if "F$" denotes an operator F$ : (U -> B)k -> (U -> B) that is derived from F and applied to f, ultimately yielding a proposition F$f : U -> B.</p></li> | + | <p>In a setting where the connection <math>F\!</math> is fixed but the imagination <math>\underline{f}</math> is allowed to vary over a wide range of possibilities, call P the "stretch of F to f on U", and write it in the style "F$f", exactly as if "F$" denotes an operator F$ : (U -> B)k -> (U -> B) that is derived from F and applied to f, ultimately yielding a proposition F$f : U -> B.</p></li> |
| | | |
| <li> | | <li> |