I'm leaving industry to pursue applying category theory in my work---and, incidentally, finally have time to really learn it! My email address from now on is mjhealy@u.washington.edu Regards to all, Mike