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

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.