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

Tom Ellis tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk
Mon Aug 4 14:07:10 UTC 2014

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.


More information about the Haskell-Cafe mailing list