You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Keith Elliott Peterson (Jan 18 2022 at 20:02):I'm just relearning about the hyperreal numbers. (and maybe learn a little mire forcing). I noticed the nlab has a little blerb on filterquotients of topoi on the page on nonstandard analysis.
What exactly is a filterquotient, and how does one construct and use one?
Mike Shulman (Jan 18 2022 at 21:25):One reference is section V.9 of Sheaves in geometry and logic.
John Baez (Jan 19 2022 at 18:41):I like the idea of mire forcing. :upside_down: