No Place Like ~

Michel F Atiyah

The aim of theory really is, to a great extent, that of systematically organizing past experience in such a way that the next generation, our students and their students and so on, will be able to absorb the essential aspects in as painless a way as possible, and this is the only way in which you can go on cumulatively building up any kind of scientific activity without eventually coming to a dead end.

Well, Hello! These are my notes for Maths and CS and whatever I think is related to this side of the Academia I am interested in.

For the full collection of maps look at 0-Atlas. The section below gives a quick access to things that would be useful to me, and potentially to other people that have requested me for some of my notes.

College Work

• 📚 Things I am working on beside Course Work!

  • Category Theory
  • Topology via Logic
  • Teaching Logic Thing?

• 📓 Course Work

  • Finite Model Theory
  • Weighted Automata and Transducers
  • Intro to Martingales
  • Topics in Algorithms
  • Homotopy Type Theory

• 🤓 Requested Notes

  • Logic
  • Logic, Automata and Games

---

Important Stuff

1. The MOC folder would be something you might be interested in, it contains a bunch of notes that will let you find other notes that you would probably be looking for. So if you have the note you want to read in mind, might be faster to find it by going to the topic it falls under in the MOC folder.
2. Almost all notes, are in the Notes folder
3. Not all of them are complete, those notes would be marked by an incomplete tag unless they are really old
4. I have notes that I take from presentations in a separate folder called Talks, I am not sure why I don’t have them together with the other notes.
5. All of the presentations that I give will be in the Presentations folder.
6. If there is a note with a rendering issue or has incorrect content on the website that you want me to fix, please let me know.