Martin,
If you are thinking about category theory and graphical calculus you
might be interesting in
http://sites.google.com/site/quantomatic/
http://dream.inf.ed.ac.uk/projects/quantomatic/
https://groups.google.com/forum/#!forum/quantomatic
http://sites.google.com/site/quantomatic/publications
On Wednesday 17 Aug 2011 05:24:41 d...@axiom-developer.org 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=y
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
___
Axiom-devel
