12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 14:46, 28 September 2009
, 14:46, 28 September 2009→Enlargement and Difference Maps: typo
===Enlargement and Difference Maps===
===Enlargement and Difference Maps===
Continuing with the example <math>pq : X \to \mathbb{B},</math> the next venn digram 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> the next venn diagram 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>
{| align="center" cellpadding="10" style="text-align:center"
{| align="center" cellpadding="10" style="text-align:center"