Topics:
- Mastering Bott Periodicity (53 messages, latest: Dec 03 2024 at 09:26)
- reading through Baez's topos theory blog posts (1185 messages, latest: Dec 01 2024 at 19:45)
- Statement from Propositional Resizing (12 messages, latest: Nov 27 2024 at 17:04)
- born yesterday, wanna-be mathematician/programmer (53 messages, latest: Nov 04 2024 at 04:36)
- tensor product of LP categories (3 messages, latest: Oct 25 2024 at 23:29)
- Looking for Multicategories Revisited by Lambek (5 messages, latest: Oct 16 2024 at 15:24)
- Cartesian enriched categories (31 messages, latest: Sep 12 2024 at 00:22)
- reference on monoids in monoidal categories (121 messages, latest: Sep 06 2024 at 09:54)
- Learning Out Loud: C-Sets (1 message, latest: Aug 30 2024 at 02:59)
- Looking for a paper by Gray (3 messages, latest: Aug 22 2024 at 16:29)
- The cartesian closed 2-category of operads? (8 messages, latest: Aug 20 2024 at 09:18)
- Suggested Readings (3 messages, latest: Aug 18 2024 at 14:01)
- Quantum Techniques for Stochastic Mechanics (88 messages, latest: Aug 15 2024 at 10:04)
- Existing Work on Heyting-valued Groupoids (7 messages, latest: Aug 13 2024 at 15:09)
- String diagrams (277 messages, latest: Aug 12 2024 at 15:00)
- Pasting lemma for pseudo-pullbacks (4 messages, latest: Aug 01 2024 at 17:57)
- Is there a good biography of Grothendieck? (6 messages, latest: Aug 01 2024 at 00:15)
- Copy of Makkaifest proceedings (15 messages, latest: Jul 22 2024 at 00:36)
- Morphism of Lawvere theories on the nLab (14 messages, latest: Jul 20 2024 at 11:05)
- Reading group! topics in semigroup theory (87 messages, latest: Jul 15 2024 at 15:23)
- limits of categories (1 message, latest: Jul 13 2024 at 00:04)
- Feedback on Ralph Sarkis book (17 messages, latest: Jun 15 2024 at 13:36)
- Review Articles and Literature Reviews (2 messages, latest: Jun 13 2024 at 19:30)
- Riehl, Category Theory in Context, Ch. 3 (14 messages, latest: Jun 10 2024 at 05:22)
- Topos Theory applied to Functional Programming (11 messages, latest: May 29 2024 at 11:21)
- special properties of presheaf toposes (28 messages, latest: May 25 2024 at 21:22)
- Reference on sketches (15 messages, latest: May 23 2024 at 14:52)
- rage over a lost paper (4 messages, latest: May 17 2024 at 21:44)
- Looking for a (classic) paper (6 messages, latest: May 16 2024 at 16:48)
- Codensity monad induced by an object (10 messages, latest: May 12 2024 at 18:16)
- Literature suggestion on polycategories (11 messages, latest: May 08 2024 at 09:09)
- Bonchi's Diagrammatic Algebra of First Order Logic (30 messages, latest: May 07 2024 at 06:33)
- "A propos d'un théorème de Barr" (8 messages, latest: May 03 2024 at 19:57)
- AlgebraicJulia Blog: Graphs and C-Sets I (12 messages, latest: Apr 22 2024 at 12:23)
- 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)
- 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)
