MyWikiBiz, Author Your Legacy — Thursday September 18, 2025
Jump to navigationJump to search
7 bytes added
, 13:52, 11 May 2009
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=== |