This message has nothing to do with categories, but that's the point. Paul Taylor writes:
LaTeX 3 is a general and extensive re-write of LaTeX. I don't fully understand the terms of reference, though they started as making amstex work with LaTeX. Some very amateurish CDs were in amstex, so we may take it that the present objectives are to do (ie make compatible and recommend a package to do) that much, but more professionally. There were CDs in amstex because (presumably) whoever at AMS specified it considered that they were already an important mode of expression IN MATHEMATICS AS A WHOLE.
Why the emphasis on category diagrams? Obviously, we want to be able to do them easily in LaTeX, because it's a topic we're interested in, but I would rather that LaTeX was extended with an entire language for drawing pictures, instead of just a few special cases like category diagrams, braids, inverted ampersands, and so on. (I don't consider embedded postscript to be practical for this purpose.) Has anything like this been considered by whoever is designing LaTeX 3, or by anyone else? -- Richard Kennaway SYS, University of East Anglia, Norwich NR4 7TJ, U.K. Internet: jrk@sys.uea.ac.uk uucp: ...mcsun!ukc!uea-sys!jrk ==============================================================================