Stories
Slash Boxes
Comments
NOTE: use Perl; is on undef hiatus. You can read content, but you can't post it. More info will be forthcoming forthcomingly.

All the Perl that's Practical to Extract and Report

The Fine Print: The following comments are owned by whoever posted them. We are not responsible for them in any way.
 Full
 Abbreviated
 Hidden
More | Login | Reply
Loading... please wait.
  • I just can't make heads nor tails out of what category theory even is!
    • 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