"It's a seminar about nothing! Nothing at all!"
"There'll be no content! No purpose! Completely pointless!"
"But we don't want any of those topologists in our seminar."
"Yeeeaaah. Filthy topologists. Always mucking things up with their
infinity category this, topoi that."
"That's right! I don't none of THEIR nonsense messing up any of