Topics:
- stream events (5 messages, latest: Oct 31 2023 at 11:22)
- Logical structure associated to toposes (4 messages, latest: Jul 21 2023 at 12:07)
- Freely Adjoining A Subobject Classifier (30 messages, latest: Jul 17 2023 at 19:38)
- subobjects of products (10 messages, latest: Jun 23 2023 at 15:39)
- Doing category theory in a topos (14 messages, latest: May 28 2023 at 18:22)
- classifying (infinity,1)-topos (2 messages, latest: Apr 28 2023 at 18:36)
- Monoidal topos (6 messages, latest: Nov 10 2022 at 19:00)
- Factorization system on points (21 messages, latest: Nov 06 2022 at 16:22)
- pullback stability with enough points (11 messages, latest: Jun 07 2022 at 11:52)
- stacks and other things (21 messages, latest: May 27 2022 at 15:29)
- loc conn : conn :: tidy : ? (10 messages, latest: May 10 2022 at 10:47)
- (in)stability of geometric surjections (25 messages, latest: May 05 2022 at 18:58)
- pointed subobjects (6 messages, latest: Apr 27 2022 at 06:34)
- relationship of localic and representably faithful (56 messages, latest: Apr 21 2022 at 15:14)
- formal (co)limits (9 messages, latest: Apr 06 2022 at 23:33)
- translation dictionary: Category Theory ↔ Topos Theory (44 messages, latest: Mar 18 2022 at 11:42)
- "topos" of condensed sets (64 messages, latest: Mar 05 2022 at 19:39)
- errata to Johnstone's Topos Theory (4 messages, latest: Nov 18 2021 at 14:30)
- intersections of subobjects (10 messages, latest: Nov 09 2021 at 11:01)
- welcome (5 messages, latest: Oct 05 2021 at 18:38)
- A 2-category of pointed toposes? (34 messages, latest: Aug 15 2021 at 21:44)
- power objects up to internal equivalence (18 messages, latest: Aug 10 2021 at 18:02)
- singleton morphism (26 messages, latest: Jul 06 2021 at 14:48)
- taking the category of sheaves (34 messages, latest: May 16 2021 at 15:21)
- morphisms of presheaf toposes (47 messages, latest: May 12 2021 at 02:41)
- localic topoi (30 messages, latest: Apr 04 2021 at 03:31)
- Visualizing Grothendieck topologies and nuclei (2 messages, latest: Apr 04 2021 at 03:22)
- logical properties and topological properties (30 messages, latest: Feb 05 2021 at 11:59)
- 2-category of toposes (8 messages, latest: Jan 21 2021 at 16:29)
- inverse image separated? (11 messages, latest: Jan 21 2021 at 11:31)
- fiberwise homeomorphisms (17 messages, latest: Jan 20 2021 at 09:21)
- LT topologies and subalgebras of \Omega (8 messages, latest: Jan 19 2021 at 12:59)
- coverage of Top (13 messages, latest: Jan 17 2021 at 16:59)
- Classifying elementary topoi (7 messages, latest: Jan 16 2021 at 13:29)
- left adjoint to sheafification (23 messages, latest: Jan 08 2021 at 09:53)
- 2-sites and 2-sieves (9 messages, latest: Jan 05 2021 at 17:55)
- internalization (7 messages, latest: Dec 28 2020 at 13:10)
- cocompactness contd. (11 messages, latest: Dec 08 2020 at 19:58)
- Flat vs Projective Modules in Category of sup-lattices (8 messages, latest: Nov 29 2020 at 23:49)
- Basic questions (39 messages, latest: Nov 24 2020 at 21:56)
- Around Toposes (3 messages, latest: Nov 21 2020 at 20:54)
- Applications of Topos Theory to bundles (11 messages, latest: Nov 21 2020 at 08:33)
- closed subtoposes (9 messages, latest: Nov 14 2020 at 11:02)
- Realizability topos (16 messages, latest: Nov 14 2020 at 05:35)
- Every elementary topos concretizable? (19 messages, latest: Nov 03 2020 at 04:57)
- filterquotients and stalks of stacks (97 messages, latest: Oct 28 2020 at 01:41)
- Schanuel Topos (6 messages, latest: Oct 23 2020 at 16:24)
- Axiom of Constructibility (57 messages, latest: Oct 22 2020 at 16:21)
- canonical subobjects (6 messages, latest: Oct 18 2020 at 23:18)
- Bi-Heyting subobject classifiers (12 messages, latest: Oct 17 2020 at 19:30)
- coherent presheaf topos (9 messages, latest: Oct 06 2020 at 18:54)
- concrete sheaves variant (5 messages, latest: Sep 27 2020 at 00:09)
- Ionads (9 messages, latest: Sep 05 2020 at 22:59)
- Inverse limits of toposes (2 messages, latest: Aug 28 2020 at 15:43)
- Topos of Directed Graphs (2 messages, latest: Jul 23 2020 at 12:15)
- Operad algebras (6 messages, latest: Jul 20 2020 at 09:38)
- Grothendieck Topos and Giraud's Axioms (14 messages, latest: Jul 09 2020 at 15:06)
- Is the category of elementary toposes LFP? (5 messages, latest: Jul 07 2020 at 15:08)
- Internal presheaves as coalgebras (29 messages, latest: Jun 19 2020 at 03:14)
- 'colevel' of a topos? (3 messages, latest: Jun 08 2020 at 10:52)
- Geometry of PROPs (53 messages, latest: Jun 05 2020 at 23:49)
- Finite objects (50 messages, latest: May 26 2020 at 14:24)
- subobject functor colax closed (28 messages, latest: May 22 2020 at 19:17)
- petit presheaf topoi (23 messages, latest: May 20 2020 at 15:58)
- Proper Characterization (6 messages, latest: May 13 2020 at 23:27)
- predicative finiteness (31 messages, latest: May 11 2020 at 20:46)
- quasitopos morphisms (10 messages, latest: May 10 2020 at 16:56)
- "totally cocomplete object" (17 messages, latest: May 05 2020 at 18:41)
- Bi-interpretability of categories (8 messages, latest: May 01 2020 at 08:22)
- Forcing (22 messages, latest: Apr 28 2020 at 07:31)
- Toposes of Discrete Monoid Actions (2 messages, latest: Apr 23 2020 at 10:54)
- classifying spaces of categories (5 messages, latest: Apr 21 2020 at 09:32)
- sieves and slices (106 messages, latest: Apr 15 2020 at 00:56)
- modal naming conventions (8 messages, latest: Apr 11 2020 at 12:50)
- Coarsening topologies (27 messages, latest: Apr 08 2020 at 16:57)
- subobject classifiers in sheaves (25 messages, latest: Apr 08 2020 at 16:39)
- Blockdags (10 messages, latest: Apr 08 2020 at 16:31)
- petit and gros (83 messages, latest: Apr 04 2020 at 10:06)
- right adjoint to inclusion of sheaves? (18 messages, latest: Mar 30 2020 at 09:37)
- essential geometric morphism (2 messages, latest: Mar 27 2020 at 18:56)
