Changes

Line 245: Line 245:  
===Commentary Note 12.7===
 
===Commentary Note 12.7===
   −
* Problem about relation of logical involution to to function space <math>Y^X = \{ f : X \to Y \}.</math>
+
* Problem about the relation of logical involution to the function space <math>Y^X = \{ f : X \to Y \}.</math>
** Notice that a function <math>f : X \to Y</math> is a "<math>Y\!</math>-evaluator of every <math>X,\!</math> or a "giver of value in <math>Y\!</math> to everything in <math>X\!</math>".
+
** Notice that a function <math>f : X \to Y</math> is a "<math>Y\!</math>-evaluator of every <math>X,\!</math> or a "giver of a <math>Y\!</math>-value to every element of <math>X\!</math>".
    
===Commentary on Selection 12 : Old Notes===
 
===Commentary on Selection 12 : Old Notes===
12,080

edits