Re: Category Theory of Algorithms

"Jym" <Jean-Yves.Moyen+news@xxxxxxxxxxxx> 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)?

No.

Can anyone recommend some textbooks in this area?

In which area?

I think there is a "Category theory for computer science" (or similar
title) by Barr & Wells,

This book is incredibly boring :-) And rather hard for a newbie.

BTW, William Lawvere wrote an excellent introductory book - "Conceptual
Mathematics: A First Introduction to Categories".


mp

.

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)