[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/2.6.37.6-0.7-desktop; 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: http://vimeo.com/17207564
> part 2: http://www.youtube.com/watch?v=yilkBvVDB_w
Tim,
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.
Martin