12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday April 15, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 13:06, 23 June 2009
, 13:06, 23 June 2009→Note 25: →Enlargement and Difference Maps
Line 3,540:
Line 3,540:
|}
|}
−==Note 25==
+==Enlargement and Difference Maps==
Continuing with the example <math>pq : X \to \mathbb{B},</math> Figure 25-1 shows the enlargement or shift map <math>\operatorname{E}(pq) : \operatorname{E}X \to \mathbb{B}</math> in the same style of differential field picture that we drew for the tacit extension <math>\varepsilon (pq) : \operatorname{E}X \to \mathbb{B}.</math>
Continuing with the example <math>pq : X \to \mathbb{B},</math> Figure 25-1 shows the enlargement or shift map <math>\operatorname{E}(pq) : \operatorname{E}X \to \mathbb{B}</math> in the same style of differential field picture that we drew for the tacit extension <math>\varepsilon (pq) : \operatorname{E}X \to \mathbb{B}.</math>
