[Haskell-cafe] Generalising Categories - categories of tuples
ttuegel at gmail.com
Wed Feb 17 20:40:22 UTC 2016
On Mon, Feb 15, 2016 at 11:21 PM, Clinton Mead <clintonmead at gmail.com> wrote:
> If people really think this is useful, tell me, and I'll try to put it up as
> a package. Alternatively, if it's already been done, I'd appreciate a
> pointer in that direction.
You may be interested in something I have been working on along the
same lines . I was more immediately concerned with implementing a
notion of subcategories (so, restriction rather than extension), but I
think it would be relatively simple to implement product categories on
top of what I have. Type inference is not usually a problem with it,
but there is some manual dictionary (proof) passing internally.
More information about the Haskell-Cafe