MyWikiBiz, Author Your Legacy — Wednesday November 13, 2024
Jump to navigationJump to search
323 bytes added
, 13:46, 11 May 2009
Line 242: |
Line 242: |
| \end{array}</math> | | \end{array}</math> |
| |} | | |} |
| + | |
| + | ===Commentary Note 12.7=== |
| + | |
| + | * Problem about relation of logical involution to to 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>". |
| | | |
| ===Commentary on Selection 12 : Old Notes=== | | ===Commentary on Selection 12 : Old Notes=== |