Undergraduate Math Club Seminar

The rational numbers with their usual order are dense. Welzl's theorem says that the class of finite graphs, with a suitably natural order, are also dense! We'll give some category-theoretic background to motivate this result, and then we'll give the proof in full detail. The proof of the main theorem will be accessible to those with limited background.