use Perl

• Category Theory (Score:2)

  by TorgoX (1933)

  I just can't make heads nor tails out of what category theory even is!
  • Re:Category Theory (Score:1)

    by robin (1821)

    I think I just about understand what it is by now, but not well enough to be able to explain it snappily.

    It's a little like abstract algebra, except more abstract and less algebraic. It's a formalism used for making precise analogies between superficially unrelated mathematical theories.

    Joseph Goguen has a nice paper A Categorical Manifesto [ucsd.edu], which explains clearly and convincingly why category theory is useful in computer science.

    John Baez says (in this [ucr.edu] web page):

    "If we try to generalize the heck out of
• And now... (Score:2)

  by Simon (89)

  A card game based on set theory [setgame.com].