Benjamin L.Russell wrote:

On Fri, 24 Oct 2008 07:35:36 +0200, Achim Schneider wrote:

...

http://www.haskell.org/haskellwiki/?title=Special:Categories

What are the mathematical properties of those Categories? Do they share common axioms?

Oh, come on! Stop talking abstract nonsense (see http://en.wikipedia.org/wiki/General_abstract_nonsense) ;-) !

Is sense computable in finite time? -- (c) this sig last receiving data processing entity. Inspect headers for copyright history. All rights reserved. Copying, hiring, renting, performance and/or quoting of this signature prohibited.