Topics:
- reading through Baez's topos theory blog posts (410 messages, latest: May 06 2024 at 07:28)
- Bonchi's Diagrammatic Algebra of First Order Logic (24 messages, latest: May 06 2024 at 00:41)
- "A propos d'un théorème de Barr" (8 messages, latest: May 03 2024 at 19:57)
- Literature suggestion on polycategories (8 messages, latest: May 03 2024 at 11:49)
- Reading group! topics in semigroup theory (60 messages, latest: Apr 28 2024 at 12:42)
- String diagrams (273 messages, latest: Apr 27 2024 at 01:29)
- Reference on sketches (8 messages, latest: Apr 25 2024 at 08:36)
- AlgebraicJulia Blog: Graphs and C-Sets I (12 messages, latest: Apr 22 2024 at 12:23)
- Mastering Bott Periodicity (15 messages, latest: Apr 20 2024 at 20:01)
- Swallowtail identities (32 messages, latest: Apr 19 2024 at 03:51)
- Special properties of ∞-toposes of the form ∞Grpd/X (15 messages, latest: Apr 14 2024 at 17:04)
- Reference for Brouwer's Principle in Johnstone's Topos (17 messages, latest: Apr 11 2024 at 21:42)
- special properties of presheaf toposes (26 messages, latest: Apr 09 2024 at 22:05)
- Applications of sheaves (55 messages, latest: Apr 07 2024 at 09:58)
- “Algebraic Databases” by Schultz, Spivak, Vasilakopoulou ... (24 messages, latest: Apr 05 2024 at 18:56)
- Sheaves on a Site (23 messages, latest: Apr 05 2024 at 06:59)
- Resources for Learning about Double Categories (12 messages, latest: Apr 03 2024 at 05:42)
- higher-order rewriting (4 messages, latest: Mar 13 2024 at 08:08)
- ✔ "On local adjointness of distributive bicategories" (5 messages, latest: Mar 13 2024 at 00:31)
- Cartesian closed objects? (14 messages, latest: Mar 06 2024 at 16:39)
- ✔ Peter Freyd's PhD Thesis (2 messages, latest: Feb 22 2024 at 21:05)
- Lenses/Optics and Machines (3 messages, latest: Feb 16 2024 at 20:07)
- Semi-direct monoidal product on Set² (11 messages, latest: Feb 15 2024 at 17:38)
- Stable homotopy and negative dimensional spheres (3 messages, latest: Feb 10 2024 at 17:48)
- The canonical Grothendieck topology (14 messages, latest: Jan 15 2024 at 13:05)
- Dynamic programming applications (6 messages, latest: Jan 12 2024 at 20:30)
- teaching modules and homological algebra (31 messages, latest: Dec 05 2023 at 18:22)
- "Struggles with the Continuum" by John Baez (12 messages, latest: Nov 21 2023 at 19:33)
- stream events (15 messages, latest: Oct 31 2023 at 11:07)
- Formal Category Theory (17 messages, latest: Oct 13 2023 at 23:34)
- Sati-Schreiber TED K-theory (1 message, latest: Sep 22 2023 at 19:51)
- Cisinski's "Higher Categories and Homotopical Algebra" (1 message, latest: Sep 06 2023 at 23:25)
- Harold Simmons, “An Introduction to Category Theory” (18 messages, latest: Aug 20 2023 at 15:04)
- Categorical Logic and Type Theory (28 messages, latest: Aug 20 2023 at 10:11)
- (Intermediate?) Categorical Probability (4 messages, latest: Aug 16 2023 at 20:34)
- Categorical Systems Theory (2 messages, latest: Aug 15 2023 at 07:36)
- general reference text (23 messages, latest: Sep 15 2022 at 16:29)
- Working group on Differential Cohesive Topos (9 messages, latest: Jun 09 2022 at 17:35)
- Sheaves in Geometry and Logic (19 messages, latest: May 24 2022 at 13:20)
- reading group on infinity-categories in Amsterdam (1 message, latest: Nov 02 2021 at 10:31)
- Towards Infinity Chern-Weil Theory (48 messages, latest: May 15 2021 at 21:01)
- Taking Categories Seriously (66 messages, latest: Feb 13 2021 at 08:15)
- Generic figures and their glueings (31 messages, latest: Feb 04 2021 at 00:47)
- Melbourne Formalisms group (1 message, latest: Feb 03 2021 at 22:26)
- Elementary Applied Topology (5 messages, latest: Jan 12 2021 at 16:29)
- A Rosetta Stone (88 messages, latest: May 28 2020 at 07:52)