On Saturday, 2 November 2002 06.37, Dusko Pavlovic wrote:
I always thought chasing diagrams replaces long sequences of equations. And a bit more, like in snake lemma, when you need to go back along an arrow. Is there more to it than that? (If not, perhaps we could keep "strong technical" arguments about diagrams at a minimum, and use the opportunity to address a wider issue of structuring math and computation.)
I wrote once a text destinated to non-mathematicians about "graphical reasoning" in CT. If you're interested in it (it's in french), you can have a look at my (very outdated) page: http://iiun.unine.ch/people/mamiguet/ I had to keep it very simple, but there are some reflexions in it about diagrams as long sentences of equations... Best regards, Matthieu