the point of topology is to study shapes--and these shapes tend to have points. however, points aren't actually that cool. we will develop a theory of shapes called locales, which is 100% point-free. that is, completely pointless. then we'll say a few words about the banach-tarski paradox.