[Haskell-cafe] Functional programming and William Lawvere's notion of "variable sets"(vs topos of "static sets") in a Topos ...

[Tom Ellis]

On Sat, Aug 02, 2014 at 01:28:41AM -0500, Vasili I. Galchin wrote:
> In Haskell( and other FPLs ..  ) aren't "pure" computations just over the
> topos of abstract sets and "mutable" /"time-varying/stateful" computations
> aren't just "variable sets" (i.e.  a functor over a discrete
> preset-poset)??

If you think this is the case could you please make an exposition of the
correspondance.  It's unlikely anyone here will be able to understand your
conclusion without such.

Tom