[Haskell-cafe] A quick question about distribution of finite maps.
Tony Zorman
tonyzorman at mailbox.org
Sat Jan 9 12:12:02 UTC 2021
On Sat, Jan 09 2021 16:30, Ignat Insarov wrote:
> This is not a complete disaster theoretically, because a `mempty` map
> corresponds to a function with `Void` domain which may not be invoked
> anyway.
A law failing just because the object one is looking at happens to be
inital sounds like a pretty severe theoretical disaster to me.
> Finite maps from `"containers" Data.Map` look like they may form a
> Cartesian closed category.
What category are you using as a base here? I suppose it's not just
Set, as one could easily model finite maps as a finite set of tuples
there (and finite sets are definitely cartesian closed); is it some
idealised version of Hask (so that it actually exists :-)?
More information about the Haskell-Cafe
mailing list