Hi all, This is a question for some of the people who were present at the time: a question came up on MathOverflow about the provenance of the term "bounded geometric morphism". To my mind it is clear that it relates to having a *bound* for a topos over Set being equivalent to being a Grothendieck topos, but then I could only come up with some kind of folk-etymology for that choice of word. Was there some earlier term it arose from? Or was it chosen ab initio as a suitable word to convey an idea? Thanks, David -- Dr David Roberts http://ncatlab.org/nlab/show/David+Roberts Adjunct Associate Lecturer School of Computer and Mathematical Sciences University of Adelaide SA 5005 AUSTRALIA CRICOS Provider Number 00123M IMPORTANT: This message may contain confidential or legally privileged information. If you think it was sent to you by mistake, please delete all copies and advise the sender. For the purposes of the SPAM Act 2003, this email is authorised by The University of Adelaide. You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>