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

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