... to be the corresponding operation in other words given a objects X and Y a function f from X to Y is an element of the exponential object X f elementOf Y and the evaluation at an element of X is given by X eval: Y x X --> Y (such that a variety of commutative diagrams ...

...would expect the exponential to be the corresponding operation in other words   given a objects X and Y a function f from X to Y is an element of the exponential object                 X   f elementOf  Y and the evaluation at an element of X is given by          X   eval: Y  x X  -->  Y (such that a variety of commutative...

... the exponential to be the corresponding operation in other words given a objects X and Y a function f from X to Y is an element of the exponential object X f elementOf Y and the evaluation at an element of X is given by X eval: Y x X --> Y (such that a variety of commutative diagrams obtain) am ...

... then i would expect the exponential to be the corresponding operation in other words   given a objects X and Y a function f from X to Y is an element of the exponential object                 X   f elementOf  Y and the evaluation at an element of X is given by          X   eval: Y  x X  -->  Y (such that a variety of commutative diagrams obtain) ...

... i would expect the exponential to be the corresponding operation in other words given a objects X and Y a function f from X to Y is an element of the exponential object X f elementOf Y and the evaluation at an element of X is given by X eval: Y x X --> Y (such that a variety of commutative diagrams obtain) am i talking about the same lambda...

... a neighborhood N of x then 2 there exists a clopen c with x elementOf c subobject N 2 and there exists a nonempty collection {m , m , ...{0, 1, ... n-1} for some n m so that t (x ) elementOf c <=> m equiv m (mod n) for some i 1 i ^^^^^^^^^^^^^^..^^^^^^^^^^^^^^^ the resolution...