[prev in list] [next in list] [prev in thread] [next in thread] 

List:       haskell-cafe
Subject:    Re: [Haskell-cafe] Re: what is inverse of mzero and return?
From:       Jorge Adriano Aires <jadrian () mat ! uc ! pt>
Date:       2005-01-24 23:55:40
Message-ID: 200501242355.40643.jadrian () mat ! uc ! pt
[Download RAW message or body]


> 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.


[prev in list] [next in list] [prev in thread] [next in thread]