Math Notes

Notes I’ve written from time to time.

I participate in the Cambridge Advanced Math Study Group meetup. Right now, there are three “streams”:

  • Set Theory.
  • General Relativity. No page for this yet.
  • Lie Groups. No page for this yet

Logic and Set Theory

Other Stuff

  • I participated in a meetup group that went through Leinster’s Basic Category Theory. I wrote up solutions to many exercises, plus supplementary material.