The next talk of the same session of the same track is about category structure. Henk van Deelen, #wcn11