[Haskell-cafe] Functional programming and William Lawvere's notion of "variable sets"(vs topos of "static sets") in a Topos ...
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
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