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
Stories, comments, journals, and other submissions on use Perl; are Copyright 1998-2006, their respective owners.
Category Theory (Score:2)
Re:Category Theory (Score:1)
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):
And now... (Score:2)