On Wednesday 17 Aug 2011 05:24:41 [email protected] 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 _______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer
