Have you visited the Hypatia Electronic Library yet?

My book Practical Foundations of Mathematics (Cambridge University Press) is now in the bookshops.

Commutative Diagrams in TeX

Unlike many other packages there is no "installation procedure" - you just copy the macros to your TeX macros directory.

The manual is provided in several formats: LaTeX source, standard DVI, 600dpi A4 PostScript and 600dpi A5 PS booklet. The "booklet" form requires a two-sided printer with A4 paper; if you don't have such a thing, don't bother taking the file.

Here is a prototype for emulation of Francis Borceux's macros.

If you are fetching this from any site other than ftp.dcs.qmw.ac.uk and have not already done so, please register as a user by sending a message to <pt@dcs.qmw.ac.uk> with the words "commutative diagrams" in the subject line.

Here is the obsolete manual for version 2, in DVI and LaTeX form. (The only use for this is that it contains a table of the codes for LaTeX arrowheads in the various directions.)

There are also some macros for proofs and other things.

Version 3.88 was released on 1 September 2000

Features introduced since September 1992

3.88 Released 1 September 2000

1. Square hooks made available as arrowtails:

         \newarrow{SquareInto}{sqhook}--->
   

   so you can put \rSquareInto etc in your LaTeX files and define other arrows with square hooks as you please.
2. Time bomb set for five years instead of one.

3.87 Released 1 September 1999

The only change was a 0.2pt fudge to the positioning of the components of arrows. Previously a lot of tweaking had been done in this department.

3.86 Released 1 September 1998

1. New options hug and nohug in PostScript mode: [PS,nohug] uses PS for the arrows without rotating the labels, but the way of calculating the actual position of these horizontal labels on will remain subject to alteration for some period of time --- please send me examples if you feel that adjustment is needed.
2. midvshaft and snake for vertical arrows
3. New option [gap=width] (default=shortfall) to use instead of ~{\;} on horizontals and PS diagonals, as this caused ^ and _ labels to be moved too far away from the shaft.
4. Added >-> and <-< heads and tails, same as >> and << but the shaft goes *through* the extra arrowhead.
5. Added 2pt space separating labels from vertical arrows.
6. Identify the cell in which a second-pass error occurs.
7. Corrected position of hook in \dInto (see \shifthook).
8. Corrections to \lhtriangle \dhtriangle \newarrowtail{boldhook}
9. Suppress indentation of following text (due to LaTeX change)
10. Mangle \left@label and \right@label (conflict with Elsevier).
11. Corrected dot spacing with [dotted] option.

3.85 Released 20 August 1997

1. New option [leftflush=margin] for left alignment of diagrams on a margin, instead of centering them. [leftflush] is like [flushleft], except that it reckons the alignment from multiple verticals, or from text if there's no vertical.
2. New options [hug] and [nohug] in PostScript mode: [PS,nohug] uses PS for the arrows without rotating the labels. Beware that this has been done in a lazy way by overprinting empty LaTeX-style diagonals carrying the labels, which may therefore be mis-placed.
3. New option [crab=distance] shifts horizontals and PS diagonals transversally by the specified distance. The abbreviations [crab+] and [crab-] use \PileSpacing, so to put four diagonal lines in parallel do something like

      \ruTo[crab--]  \ldTo[crab-]  \ruTo[crab+]  \ldTo[crab++]
   

   This doesn't work with [nohug].
4. New option [snake=distance] shifts the middle of midshaft horizontals and PS diagonals longitudinally by the specified distance.

3.84 Released 2 September 1996

3.83 Released 18 May 1995

1. New [dotted] option to change the filler on an arrow to dots (useful for mediators for universal properties).
2. Option [LaTeXeqno] uses LaTeX's equation number and style for "eqno"; LaTeX's \label command picks this up.

3.81 Released 18 July 1994

1. Stretchable PostScript diagonals implemented.
2. \overprint{text} sets text in maths and overprints it in the current cell, centered in the column irrespective of other stuff.
3. Option [repositionpullbacks] redefines \SEpbk etc to use \overprint.
4. New option [grid] to set column and row widths individually: see manual for examples such as a regular pentagon and cube with perspective.
5. Option [PostScript=name] takes the name of a DVI->PS translator as argument.
6. Equilateral triangle or regular hexagon size options.
7. Introduced landscape and portrait options.
8. Peter Freyd's \puncture symbol provided.

Arrowheads used in the book

However, if you are intending to create a new symbols font yourself (to follow the "St. Mary Road" fonts), and undertake the necessary support work, I will be very pleased to give you the MetaFont source for these arrowheads and the other new symbols that are introduced in the book. I now have these in a form that's compatible with teTeX.

Towards Version 4

This message brings news of the development of my TeX package for drawing "commutative" diagrams, which is now widely used in the category theory and theoretical computer science communities. It is being sent directly to all of the users I know of (who have requested it by electronic mail or FTP from me, or asked questions about it), but as I know the package has been passed on, I would be grateful if you would copy this message to anyone to whom you have given the package itself.

The package was originally advertised on the "types" and "categories" electronic mailing lists in July 1990. In the following eighteen months some fixing of bugs took place, but there was little substantial change.

Since April 1992, I have re-written most of the code, largely with a view to improving the geometrical layout of the diagrams. Before completing this work and calling it version 4, I would like some feedback from users.

One of the areas which I have neglected in the past (largely because TeX makes it so difficult) is diagonal arrows. The code for drawing these using LaTeX line segments has been re-written: now the closest available slope is chosen automatically and the commands have names similar to the horizontals and verticals.

However to do a better job of diagonals (and in future to support curved lines) some extension to TeX is needed. Being extensions they are necessarily not standard. Three possibilities are:

1. additional fonts (as, for example, used by Spivak's Lamstex). However my experience of design-size fonts and linear logic symbols suggests that for users without expert knowledge or control of their local TeX systems this is more trouble than it's worth.
2. PostScript is, I believe, now almost universally used as the language in which TeX documents are sent to a printer. PS commands can be embedded in DVI files and incorporated in the PS translation without extra system or user files or any user intervention. This is to some extent dependent on which DVI->PS translator is used. In the new version this is exploited in an option to implement diagonals by rotating horizontals, which works with Tomas Rokicki's "dvips".
3. TPIC is a graphics extension of TeX which uses a simpler set of embedded commands. These can be used to draw diagonal lines and curves but not to perform rotations; they are, however, understood by Vojta's "xdvi" as well. Another option in the new version uses these to draw diagonal lines.

Arrow commands are now declared in a much simpler way. The declaration

	\newarrow{CrossedInto}{hook}-+->

So much for selling you the new version. The reason for mailing you and asking for comments before completing what I intend to do for version 4 is that I want to get feedback on the following questions:

1. Can you use FTP (file transfer protocol)? This is the easiest method of distribution for me and for you, and there is now a huge volume of public domain software available by this method. My archive is called

   	ftp.dcs.qmw.ac.uk
   

   and the diagrams package is in the directory /pub/tex/contrib/pt/diagrams. Please try to fetch the new version and manual by this method.
2. If you can't use FTP, and your electronic mail passes via non-ASCII machines (particularly BITNET), what characters tend to get corrupted? The new version uses a restricted character set to avoid this problem.
3. Do you have available for printing final copy a printer which understands Adobe PostScript, for example an Apple or Sun laserwriter? Who is the author of the DVI->PS translation program you use? Please fetch the new version, try the PostScript option and tell me if you have any difficulty printing. (You may have to change the \verbatim@ps@special macro if you don't use Rokicki's dvips: if so, please send me details.) You can preview with a PS previewer such as PageView under OpenWindows or GhostView/GhostScript under Xwindows.
4. Do your DVI translators and previewers understand TPIC \specials (as used in eepic.sty)? Please try the TPIC option. I would like to know whether it is worth putting effort into PostScript, TPIC or some other method.
5. Have you defined your own arrow commands using \HorizontalMap, \VerticalMap or \DiagonalMap? Please use "grep alMap *.tex *.sty" or some similar command to find out, and tell me if you have used any components other than those in the source of version~3. It is in your interests to do this, because \newarrow defines arrow commands in a different way.
6. Please tell me if you have any difficulty adapting to the new version, or any general comments about doing so which might be of benefit to other users.
7. Other comments: have you used other packages for drawing diagrams? Do you have applications for my package other than the categorical diagrams for which it was designed? What do you see as the major limitations of the package? What persuaded you to use it, or not to use it?

• 2 was circulated to some people in September 1989
• 3.16 was advertised on types & categories in July 1990 and emailed to those who asked for it.
• 3.18 was the final bug-fix before the re-write began in April 1992.
• 3.20 introduced error-recovery, and \newarrow for horizontals & verticals
• 3.22 completely rewrote the reformatting program for h & v and corrected numerous alignment errors; introduced options in square brackets
• 3.23 fixed a catastrophic error in nested diagrams
• 3.24 (current) extended \newarrow to diagonals, added trigonometry code, rewrote code for drawing LaTeX diagonals, introduced PostScript and TPIC diagonals, consistent choice of arrowheads.

Paul Taylor, pt@dcs.qmw.ac.uk, +44 20 7882 5241, 7 September 1992

Department of Computer Science, Queen Mary and Westfield College, London E1 4NS