Still some way off being organised or motivated enough to follow through on the vague promises made in this earlier post. Have been a bit busy since the start of the year juggling work projects and the knock-on effects; currently need to teach myself about Hilbert algebras and semifinite traces, and — more embarrassingly — the basics of calculus on differentiable manifolds.
(The latter is something which I found completely opaque as an undergraduate; the course I took seemed to be very good for those who already had some intuition, but not so good for those of us who lacked it. However, it might be easier to revisit it now that the formal language and notation doesn’t scare me as much. We shall see…)
(Edit: links added to Encyclopaedia of Mathematics and Wikipedia.)