Re: [Axiom-developer] Introduction to Category Theory

[Martin Baker]

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