Let D1, D2, D be non empty sets and let x be an element of [: [:D1, D2 :], D :]. Then x1,1 is an element of D1. Then x1,2 is an element of D2. Let D1, D2 be non empty sets and let x be an element of [:D1, D2 :]. Then x2 is an element of D2. Next we state the proposition (1) Let C, D be category structures. Suppose the category structure of C = the category structure of D. If C is category-like,...

The λ-calculus can be represented topologically by assigning certain spaces to the types and certain continuous maps to the terms. Using a recent result from category theory, the usual calculus of λ-conversion is shown to be deductively complete with respect to such topological semantics. It is also shown to be functionally complete, in the sense that there is always a 'minimal' topological mod...