Nil Geisweiller

But we are not talking about predicates P and Q as variables, we're talking about their domain, as long as the variables covering their domain is scoped, their names don't...

Yes, the scopes on X and Y respectively, not over pairs. Note that ``` Lambda X Evaluation P X ``` is equivalent to ``` Lambda Y Evaluation P Y ```...

@linas, I'm busy with the demo right now, but let's get to the bottom of this soon after.

@linas do you agree with the following equivalences ``` Implication Lambda X Evaluation P X Lambda Y Evaluation Q Y ``` equivalent to ``` Implication Lambda X Evaluation P X...

OK, so I suppose you do not agree with the following ``` Lambda X Evaluation P X ``` equivalent to ``` P ``` right?

`X` runs over the elements of Omega. P could be seen as random variable with co-domain [0,1].

On 07/12/2016 03:57 AM, Linas Vepštas wrote: > Re the following: I don't really understand what it even means. > > |Lambda X Evaluation P X | > > If...

@linas, I don't know what is a fibered product and I don't have time to get deep into category theory, though I'd love to after the demo. To be honest...

Reading again you comment. I got what you mean by the Diract delta. So let say that yes you are write on that, but this not what the Lambdas are...

That's nice. How would you represent queries involving repeated occurrences of the same variable though, like ```scheme (Get (TypedVariable (Variable "$X") (Type 'ConceptNode)) (Present (Inheritance (Variable "$X") (Concept "A")) (Inheritance...