[formal-methods] Injective, Surjective, and Bijective functions

Jason Dusek jason.dusek at gmail.com
Sun Jun 28 03:58:56 UTC 2009


2009/06/27 Crutcher Dunnavant <crutcher at gmail.com>:
> Jason suggests that this is merely a cultural or political
> distinction.

  I did not mean to suggest that it was "merely"; only that
  "injective" implies "sets" in category theory whereas in set
  theory that doesn't mean anything.

--
Jason Dusek



More information about the formal-methods mailing list