[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Introduction to Category Theory

From: Martin Baker
Subject: Re: [Axiom-developer] Introduction to Category Theory
Date: Wed, 17 Aug 2011 17:52:51 +0100
User-agent: KMail/1.13.6 (Linux/; KDE/4.6.0; x86_64; ; )

On Wednesday 17 Aug 2011 05:24:41 address@hidden wrote:
> It seems that the Category Theory discussion has come around again on the
> great wheel of life. These talks might be helpful for those who are lost.
> part 1:
> part 2:


These are very good, I haven't come across them before.

I especially like part 2 and the link between category theory string diagrams 
and combinators. Its interesting about adding iterators to combinators, it 
would be good to implement that.

Also there was a throwaway line, something about removing the crossover 
cancellation rule from combinators gives braids. I thought before that it 
would be interesting to implement braid groups and I wonder if it could be 
done using combinators?

Also string diagrams/combinators being so graphical reminds me once again how 
much I would like a 2-way graphical interface to Axiom.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]