12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday November 22, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Inquiry Driven Systems (view source)
Revision as of 02:00, 18 January 2009
, 02:00, 18 January 2009→1.3.10.6. Stretching Principles
<li>
<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 <math>p\!</math> the ''stretch of F to f on X'', and write it in the style "F$f", exactly as if "F$" denotes an operator F$ : (X -> B)^k -> (X -> B) that is derived from F and applied to f, ultimately yielding a proposition F$f : X -> 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 <math>p\!</math> the ''stretch of <math>F\!</math> to <math>\underline{f}</math> on <math>X,\!</math>'' and write it in the style "F$f", exactly as if "F$" denotes an operator F$ : (X -> B)^k -> (X -> B) that is derived from F and applied to f, ultimately yielding a proposition F$f : X -> B.</p></li>
<li>
<li>
