Maybe I don't get something basic. What it looks like to me, since the square has arrows (true,true) and true, it defines only the behaviour of the classifying arrow for one pair, not all possible pairs.
Right. It classifies just one point, (true, true). But it's defined on the whole ΩxΩ. How is it defined? It maps every (generalized) arrow T → ΩxΩ to a value in Ω, and it evaluates how close is this arrow to (true, true).
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2020-06-30 08:17 pm (UTC)Maybe I don't get something basic. What it looks like to me, since the square has arrows (true,true) and true, it defines only the behaviour of the classifying arrow for one pair, not all possible pairs.
no subject
Date: 2020-07-01 12:08 am (UTC)