Re: Category Theory of Algorithms

On Mon, 09 Apr 2007 01:20:47 +0200, the.theorist <the.theorist@xxxxxxxxx> wrote:

Category Theory has been really nice for the study of type systems,
and for providing a lens with which to view mathematics, and the
relationship between mathematical objects. Has it been applied to the
study of the mathematical properties of algorithms (as a mathematical
object)? I wasn't able to find a strong link between the two
disciplines using google, (maybe I'm barking up the wrong tree?)

Can anyone recommend some textbooks in this area? And what are the
current thoughts on what is needed for the transition to the parallel
paradigm?

I think there is a "Category theory for computer science" (or similar title) by Barr & Wells, but I'm not quite sure this deals with the ideas your explaining.

--
Hypocoristiquement,
Jym.
.

Relevant Pages

  • Re: before Cantor
    ... about mathematical "existence" of an object are to be treated as just ... Be careful with how the word "exist" is being used in mathematics as ... questions about the "existence" of mathematical objects are too often loaded ... One of the most ingenious axioms of ZF set ...
    (sci.math)
  • Re: Roger Ebert comes out of the closet!!
    ... I'm not qualified to say whether or not God exists. ... Time to reread "The Unreasonable Effectiveness of Mathematics", ... to the theory of non-Abelian gauge fields. ... a different thing) about mathematical objects. ...
    (talk.origins)
  • Re: Roger Ebert comes out of the closet!!
    ... I'm not qualified to say whether or not God exists. ... mathematical objects. ... Time to reread "The Unreasonable Effectiveness of Mathematics", ... to the theory of non-Abelian gauge fields. ...
    (talk.origins)
  • Re: Opinions on mathematics.
    ... It is difficult to address these matters without saying 'mathematical objects' and expecting to be understood. ... From time to time someone tells me that mathematics is not science. ... The reason is that a mathematical object is a structure that we construct in our mind with the aid of writings and diagrams. ... When doing mathematics we are mapping our minds, ...
    (sci.math)
  • Re: Jechs Set Theory
    ... mathematics is about, and how we should go about waxing philosophical ... the purpose of philosophy of mathematics is to ... understand this practice, and in particular explicate and articulate ... the existence of mathematical objects, ...
    (sci.math)