SUO: Re: IFF LOT Glossary -- Correction?

[Jon Awbrey <jawbrey@att.net>]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

JA: We think of the alphabet as providing us with a "codebook", a filter,
    or a template, that we use to code arbitrary elements of experience
    that come to us from a source or space that we may call, without
    too much loss of generativity, "X".  So !TLC! determines a map,
    code : X -> TLC = <|!TLC!|> ~=~ B^25.  For any "predicate" f
    about the world X, that is, any f : X -> B, the code map
    induces a coded predicate code(f) : TLC -> B given by
    the equation code(f)(x) = code(f(x)).

Correction?

It looks like that last equation should be (code(f))(code(x)) = f(x).

        f
X o----------->o B
   \         ^
    \       /
code \     / code(f)
      \   /
       v /
        o
   TLC ~=~ B^25

(code(f))(code(x)) = f(x)

       code
X o----------->o TLC ~=~ B^25
  |            |
  |            |
f |            | code(f)
  |            |
  v            v
B o============o B

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o