Comments on A Neighborhood of Infinity: Trace Diagrams with Monads

This is really cool!! Thanks for posting the link ...

2009-08-31T16:11:25.231-07:00

This is really cool!! Thanks for posting the link to my paper. I always think that trace diagrams should be more widely known.

I've got a more accessible to trace diagrams on the way... will post here when I get it done.

I used LaTeX with TikZ to create the diagrams. Her...

2009-05-23T14:12:36.292-07:00

I used LaTeX with TikZ to create the diagrams. Here's a link to the source code: http://www.sigfpe.com/trace.tgz You'll need to install TikZ. I used the LaTeX Equation Editor to create the png files: http://evolve.lse.ac.uk/software/EquationEditor/

Despite how good TikZ is, it was a painful process. I kept saying to myself, I'll never write again about something involving diagrams :-)

The author of the paper I cite has written a tutorial on creating exactly this type of diagram: http://elishapeterson.wikidot.com/tikz:diagrams I didn't use it because I wanted to learn TikZ from scratch myself first.

Shin no Noir, If you wait a bit (probably < 1 ...

2009-05-23T11:55:44.237-07:00

Shin no Noir,

If you wait a bit (probably < 1 day) I'll post the LaTeX source code.

Btw sigfpe, I was wondering, what do you use to dr...

2009-05-23T08:52:28.738-07:00

Btw sigfpe, I was wondering, what do you use to draw these nice diagrams?

So far, a nice and mind blowing article (I've ...

2009-05-23T05:48:24.962-07:00

So far, a nice and mind blowing article (I've read up to the definition of cupcap so far). :)

I just played around with the code and wrote a dot product function using cap:

> dot v w = do
> (i,j) <- cap ()
> v' i
> w' j
> where v' = dual v
> w' = dual w

(Btw, there's a small typo in your digression: "cup and cup" should be "cup and cap".)