[Haskell-cafe] Categorical description for vector-space instance of AdditiveGroup (Maybe a)

Jason McCarty jmccarty at sent.com
Sun Sep 14 02:47:44 UTC 2014


On Sat, Sep 13, 2014, at 02:12 PM, trevor cook wrote:
> Jason, John,
> 
> Thanks for the in depth descriptions, it was just what I was looking for.

Glad I could help. I should correct a couple things, though. Rather than
wanting (+ Just x) as a morphism, you'd probably want const Nothing,
which is a monoid morphism if Nothing is the unit of the monoid. But
then the argument about equivalence remains the same.

Also, I think Maybe v isn't even what I called a semi-vector space if v
is; 0 *^ Just x should be Nothing, but it's Just zeroV instead.

I have some more thoughts about this when I get a chance.

-- 
Jason McCarty <jmccarty at sent.com>



More information about the Haskell-Cafe mailing list