Re: Category Theory of Algorithms


relationship between mathematical objects. Has it been applied to the
study of the mathematical properties of algorithms (as a mathematical
object)?

No.

Well, that was simple and concise. It raises further questions,
though. I'll get to that at the end.

Can anyone recommend some textbooks in this area?

In which area?

The area of studying algorithms as mathematical objects, with closure
under some set of operations.

See what I'm after is an algebra of algorithms. I'd like to know if
it's possible to take some small set of simple algorithms, and by
repeated application of some operators build up to more complex
algorithms. An, Algebra or Calculus of Algorithms, if you will.

Now, since nobody has applied Category Theory to the study of
algorithms in the manner I was talking about, perhaps there have been
difficulties, and it's been to hard. If that's the case, then: What,
specifically, are those difficulties?

.

Relevant Pages

  • [ISSAC-ANNOUNCE] Call for Participation - ISSAC 2008
    ... polynomial / differential / difference equations, linear algebra, number ... theory, group and invariant theory, geometric computing. ... Sergei Abramov, Russian Academy of Sciences, Russia ... Exact algorithms and software in optimization and polyhedral computation. ...
    (comp.specification.z)
  • Re: Category Theory of Algorithms
    ... programming language theory-, where you -do- compose separate pieces ... One of the reasons that I wanted an algebra of algorithms ... thought that by attempting a formalization of the algorithm, ...
    (comp.theory)
  • Re: Category Theory of Algorithms
    ... it's possible to take some small set of simple algorithms, ... An, Algebra or Calculus of Algorithms, if you will. ... programming believe that one can live by the lambda calculus ...
    (comp.theory)
  • Re: computer algebra and groebner bases
    ... Ideals, Varieties, and Algorithms by Cox, Little and O'Shea ... Modern Computer Algebra ...
    (sci.math.symbolic)
  • Category Theory of Algorithms
    ... I'm not myself very well versed in the study of algorithms (my ... myself pondering the computational road ahead. ... focuses more on the mathematical properties of algorithms. ... and for providing a lens with which to view mathematics, ...
    (comp.theory)