๐ŸŽ‰๐ŸŽ‰๐ŸŽ‰ Welcome to Algebraic Topology I ๐ŸŽ‰๐ŸŽ‰๐ŸŽ‰

In this first lecture we give a brief introduction to the โ€œideaโ€ of algebraic topology, and illustrate the concept by giving a โ€œproofโ€ of the Brower Fixed Point Theorem. (I say โ€œproofโ€ because the proof uses the homology, which we won't start for a few more lectures ...)

We then give the first few elementary definitions in Category Theory. My plan is to stealthily introduce a little bit of abstract nonsense each lecture, so that by the end of the course you will know lots without ever having been completely overwhelmed.

To โ€œmotivateโ€ you to learn more category theory, have a read of this (by Ed Morehouse). The more category theory you know, the funnier it will beโ€”eventually you will no doubt be unable to read it without laughing hysterically (okay, maybe that's just me ...)

Warning

My lecture notes likely have one or two (million) typos in them. Please leave a comment if you spot something wrong and I will fix it! I encourage you not to print the notes out just yet, since I'll probably edit them at least six times over the next few days (hopefully in a week or so they should be relatively stable ...)


Comments and questions?