gustavolacerda is in town visiting CMU. It was neat to meet him and hang out for a bit tonight.

Earlier went to a talk by Nicola Gambino, which was old news for a little while, (about Joyal's "species of structure" stuff) and then rapidly went over my head in crazy category theory again. I'm noticing a pattern to this sort of thing...