[Haskell-cafe] Re: what is inverse of mzero and return?

[Jorge Adriano Aires]

> A constant c :: a  is just morphism(function) c : 0 -> a, where 0 is the
> initial object (empty set). 

--- Rant2 "correction"
Opss I messed up here. Should be terminal should 1-> a  (terminal object/unit 
set). At least that's how I usually think of constants  in haskell  1 is 
()... so I think I don't know what is a constant in Haskell... Anyway, 
stopping now.

J.A.