Parental visit

Well, I survived the inspection, with only minor criticisms being levelled. In spite of the stress of the cleaning (which did take an entire week, though I didn't get much done on Wednesday or Thursday), it was nice to see my parents again. We went out for several nice meals, went for a walk by Loch Lomond (not as long as the ones I've been doing recently, hurrah!), went to the Kelvingrove Museum (rather busy, unfortunately), and played a game of Carcassonne (I came last, as per usual). And now they've gone up to Dundee for some nefarious reason known only to them.

Now I'm just worried about this play we're rehearsing in five days. The one that we still don't have scripts for. Well, I've got six hours on the train down to Cambridge on Friday afternoon, that should be enough...

Maths types: how well known would you say it is that limits and colimits in functor categories can be computed pointwise? I was in a lecture the other day where the lecturer painstakingly constructed pullbacks in G-Set (which is the same as [G, Set], and hence complete). I subsequently mentioned this to my (usually categorically ept) flatmate¹, who denied all knowledge. When I showed him the proof, he tried to cover by saying "Oh, you should have said you were computing them pointwise, I would have known what you were talking about then!". You're not fooling anyone, Philipp :-)

¹ Who reads this blog.