Changes

MyWikiBiz, Author Your Legacy — Wednesday November 13, 2024
Jump to navigationJump to search
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===
12,080

edits

Navigation menu