October 10th, 2008

beartato phd

(no subject)

Finally got around to TeXing up a little note on some tentative speculations on definitions of weak ω-categories I had starting around a year ago. I hit upon a few drastic simplifications by accident in the last few days which almost make me think I might figure out whether it's telling me the right thing at dimensions 2 and 3.

It quickly became a bit of an excuse to learn a bit of Xy-pic, which can apparently handle significantly more insane diagrams than Paul Taylor's package without a tremendous amount of extra effort. I may stick to pt's for most purposes since it seems to DWIM a little better, but xymatrix is pretty impressive for globular diagrams. Check out this giant archive of examples! You can also see the source to my diagrams.