On Fri, Apr 13, 2012 at 2:38 PM, Marshall Lochbaum <mwlochb...@gmail.com> wrote:
> You're making a mistake in your treatment of functions. A function is not a
> formula. It is an association of a value in the codomain to each value in
> the domain, and if two functions have all of the same associations (which
> forces them to have the same domain), then they are identical. Therefore >:
> and 1: with domain {0} are the same function.The reference I was reading http://en.wikibooks.org/wiki/Haskell/Category_theory begins with "a directed multigraph with loops". That means that we can have multiple distinct arrows leading from 0 and 1. You are telling me that we can only have one arrow leading from 0 to 1, which makes their explicit statement pointless. But I see no statements in their exposition to support this constraint. -- Raul ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
