Am 15.02.2012 21:34, schrieb Aaron Meurer:
Is category theory used outside category theory?
It is, in some functional programming languages.
In Haskell, there's an ADT that is called "monad", and it is supposed to
be derived from the monads in category theory. Some people are working
on something that is called an "arrow", which is supposed to derive from
CT arrows in the same way.
I take that as a sign that CT is in fact more generally useful, but
since very few people really understand it, it is hard to actually use it.
Something like SymPy supporting CT would help CT.
The remaining question being, as it seems, whether having CT support
would help SymPy.
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To post to this group, send email to sympy@googlegroups.com.
To unsubscribe from this group, send email to
sympy+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/sympy?hl=en.
