Talk:Structural Ramsey theory

Things to do:
--Jordan Mitchell Barrett (talk) 20:41, 29 November 2019 (UTC)
 * Add more (ideally simple) examples of (dual)-Ramsey-type theorems to illustrate the concept. E.g. Gowers' theorem, Folkman's/Hindman's, Milliken-Taylor, even Rado's, etc...
 * A categorical diagram in the "Ramsey property" section could be really useful to help illustrate the definition (which is quite complex at first!)
 * Make a new section which talks about the connections with Fraisse theory
 * Add some more to the "Examples" section
 * More could be said about the KPT correspondence - see Van The's paper here.