The article Weakly distributive categories by J.R.B. Cockett and R.A.G. Seely (as submitted to the Durham Symposium Proceedings) is available by anonymous ftp from triples.math.mcgill.ca. The files needed for this paper are in the ftp directory pub/rags/wk_dist_cat/ Full instructions are in the file pub/rags/wk_dist_cat.README : a brief summary is given now: When in the directory pub/rags/wk_dist_cat/, you have a choice: Either take the .dvi (or .ps) file wdcat.dvi (or wdcat.ps) or else take all the .tex and .sty files in this directory (by mget *.tex, get sprite.sty) and tex it yourself. You'll need a file for each section (sorry - but for dual authorship that seemed easier, and I've not got 'round to joining them up!), one for the overall structure, a macro file, two files to produce a par symbol, (one a .sty file), and F. Borceux' diagram macro file. DON'T FORGET to set the ftp to binary (and also faster if you don't ask for a prompt at each file) for transferring .dvi or .ps files. %ftp triples.math.mcgill.ca login as user anonymous with your email address as password ftp>cd pub/rags ftp>dir Then do one of these: ftp>prompt ftp>mget *.tex ftp>get sprite.sty or: ftp>bin ftp>get wdcat.dvi (or ftp>get wdcat.ps ) ftp>quit That should do. Any problem reports or further enquiries should be directed to rags@triples.math.mcgill.ca Paper copies of the articles are available from either author. - Robert Seely PS - You will also find a copy of the paper A Logical Calculus for Polynomial-time Realizability by J.N. Crossley, G.L. Mathai, and R.A.G. Seely as the .tex file ptime.tex (in pub/rags/). Help yourself. ===================================