User loginNavigation 
Understanding category theory and its practical applicationsNote on the obvious: these thoughts represent my original state of mind when this post was first made, and do not necessarily reflect my current understanding. This OP is left unmodified for reference purposes. Introduction Various logics and mathematics, such as set theory, predicate calculus, arithmetic, et. al. were relatively intuitive and came easy to grasp when I learned them. Additionally, they came with their obvious applications, not just to problems in the real world, but also to programming and programming languages. It is easy to see the higher level of abstraction that comes from using these as opposed to a computationoriented programming language. Predicate calculus, in particular, is a powerful language suited to various boons from a programmer's perspective, including arbitrary constraint qualification as a means to better aspectoriented programming. However, I have not been able to identify any such gains from category theory. I can't see how it is any better than anything else. Note: My understanding of category theory is very shoddy, so using lots of categorytheoretic terminology may obscure my understanding of your answerbeing moderate will help. From what I gather, a morphism seems to be a transformation (possibly represented by one or more functions), and the objects in a category could be represented as a set. But if I am right, then how is category theory any better than just simply using functions, relations, and set theory? I can never be sure if my understanding of category theory heads in the right direction, however, because nobody has tried to define category theory in a noncategorytheoretic way, which has left me to wallow in the misery of trying to understand these concepts by googling for and reading all the nonterminating, mutually recursive definitions of such concepts. If all these proportedly wonderful concepts and discoveries made by scientists go over everyone else's heads, then how is anyone going to benefit? These concepts might as well have never been discovered, in such a case. Prime points to address:
By Winheim Raulsh at 20080114 21:34  LtU Forum  previous forum topic  next forum topic  other blogs  35426 reads

Browse archivesActive forum topics 
Recent comments
13 hours 5 min ago
13 hours 54 min ago
20 hours 28 min ago
22 hours 12 min ago
1 day 6 hours ago
1 day 6 hours ago
1 day 7 hours ago
1 day 8 hours ago
1 day 10 hours ago
1 day 13 hours ago