Topics:
- stream events (4 messages, latest: Oct 31 2023 at 11:17)
- Special Seminar in Honor's of Dana Scott's 90th Birthday (1 message, latest: Oct 08 2022 at 18:33)
- Andrej Bauer: The countable reals (37 messages, latest: Sep 23 2022 at 15:26)
- Conor McBride: "Cats and Types: Best Friends?" (7 messages, latest: Aug 11 2022 at 23:43)
- Josef Urban: Combining learning and deduction over [...] (1 message, latest: Jul 04 2022 at 18:56)
- Noam Zeilberger: Parsing as a lifting problem and ... (1 message, latest: Jun 27 2022 at 15:42)
- Moshe Vardi: Ethics Washing in AI (1 message, latest: Jun 20 2022 at 16:04)
- Christoph Benzmueller: Logico-pluralistic exploration [...] (1 message, latest: Jun 13 2022 at 21:47)
- Nicolas Behr: Fundamentals of Compositional Rewriting Theory (1 message, latest: Jun 06 2022 at 15:59)
- Thierry Coquand: Sheaf Cohomology in Univalent Type Theory (1 message, latest: May 30 2022 at 14:49)
- Tai-Danae Bradley: Entropy as an Operad Derivation (20 messages, latest: May 28 2022 at 10:31)
- Alexandra Silva: Learning Weighted Automata over [...] (1 message, latest: May 16 2022 at 21:55)
- John Terilla: Rethinking language (1 message, latest: May 02 2022 at 14:07)
- Martín Escardó: "Compact totally separated types in [...]" (2 messages, latest: Apr 25 2022 at 13:48)
- Leo McElroy: Making Microworlds (3 messages, latest: Apr 14 2022 at 17:01)
- Giuseppe Rosolini: "When an elementary quotient [...]" (2 messages, latest: Apr 05 2022 at 02:18)
- Maaike Zwart: "Lessons from failing distributive laws" (5 messages, latest: Mar 31 2022 at 16:04)
- Dominic Verity: Zen and the art of ∞-categories (3 messages, latest: Mar 24 2022 at 19:49)
- Zoé Christoff: The logic of social influence in networks (3 messages, latest: Mar 17 2022 at 16:56)
- Glynn Winskel: "Making concurrency functional" (4 messages, latest: Mar 03 2022 at 16:53)
- Bob Coecke: "Compositional Intelligence" (4 messages, latest: Feb 24 2022 at 16:55)
- David Danks: "Ethics in AI, not Ethics of AI" (9 messages, latest: Feb 17 2022 at 16:34)
- 2022 (2 messages, latest: Feb 15 2022 at 21:36)
- Robert Harper: "Phase Distinctions in Type Theory" (2 messages, latest: Dec 06 2021 at 15:03)
- Evan Patterson: "Categories of diagrams in [...]" (3 messages, latest: Dec 02 2021 at 16:33)
- Andreas Blaas: "A topos view of axioms of choice for [...]" (6 messages, latest: Nov 22 2021 at 17:59)
- Paolo Perrone: "The rise of quantitative category theory" (4 messages, latest: Nov 18 2021 at 16:55)
- Jeremy Avigad: "Formal mathematics, dependent type [...]" (2 messages, latest: Nov 04 2021 at 17:51)
- Dorette Pronk: "Doubly Lax Colimit of Double [...]" (5 messages, latest: Oct 28 2021 at 16:54)
- Chris Kapulkin: "Cubical setting for Discrete Homotopy ..." (3 messages, latest: Oct 21 2021 at 16:52)
- Anders Mortberg: "Cubical Methods in [...]" (6 messages, latest: Oct 10 2021 at 20:17)
- Pawel Sobocinski: "Algebraic theories with string diagrams" (3 messages, latest: Sep 30 2021 at 12:57)
- Florian Rabe: "MMT: A UniFormal approach to [...]" (49 messages, latest: Sep 24 2021 at 11:35)
- Andrew J. Blumberg: "Abstract homotopy theory for TDA" (3 messages, latest: Sep 23 2021 at 16:42)
- Jamie Vicary: "Understanding free infinity-categories" (8 messages, latest: Sep 16 2021 at 18:45)
- John Bourke: "Tensor products, multimaps and internal homs" (8 messages, latest: Sep 16 2021 at 14:21)
- Valeria de Paiva: "Categorical Explicit Substitutions" (74 messages, latest: Sep 02 2021 at 15:25)
- Kevin Buzzard: "What is the point of Lean's maths library?" (4 messages, latest: Aug 09 2021 at 19:56)
- Todd Trimble: "From 2-rigs to lambda-rings" (8 messages, latest: Aug 05 2021 at 21:47)
- Marcy Robertson: "Topological Inspiration for Infinity ..." (3 messages, latest: Jul 29 2021 at 21:47)
- Walter P Tholen: "What is monoidal topology?" (1 message, latest: Jul 19 2021 at 15:13)
- G Cruttwell: "Categorical differential structures and [...]" (3 messages, latest: Jul 10 2021 at 07:34)
- Lawrence Paulson: "Formalising Contemporary Mathematics ..." (5 messages, latest: Jul 02 2021 at 10:13)
- Kathryn Hess: "From comonads to calculus" (4 messages, latest: Jun 24 2021 at 19:43)
- Chris Heunen: "Sheaf representation of monoidal categories" (2 messages, latest: Jun 18 2021 at 21:40)
- other Topos talks? (10 messages, latest: Jun 14 2021 at 13:00)
- Eugene Lerman: "A category of hybrid systems" (1 message, latest: Jun 10 2021 at 14:22)
- Steve Awodey: "Model Structures from Models of HoTT" (1 message, latest: Jun 02 2021 at 23:49)
- Michael Shulman: "Two-dimensional semantics of HoTT" (2 messages, latest: May 27 2021 at 16:29)
- Tobias Fritz: "The law of large numbers in categorical [..]" (2 messages, latest: May 20 2021 at 15:41)
- Maria Emilia Maietti: "Quotient completions for topos-[...]" (3 messages, latest: May 13 2021 at 16:26)
- Emily Riehl: "Contractibility as uniqueness" (6 messages, latest: May 06 2021 at 16:50)
- Jonathan Gorard: "Fast Diagrammatic Reasoning and [...]" (2 messages, latest: Apr 29 2021 at 16:54)
- Shaowei Lin: "Proofs as programs: challenges and [...]" (9 messages, latest: Apr 22 2021 at 19:02)
- Asgar Jamneshan: "Topos theory and measurability" (10 messages, latest: Apr 20 2021 at 17:51)
- Joachim Kock: "Noncrossing hyperchords and free probability" (13 messages, latest: Apr 13 2021 at 12:27)
- John Baez: "Mathematics in the 21st century" (26 messages, latest: Apr 01 2021 at 18:02)
- Dan Christensen: "Reasoning in an ∞-topos with HoTT" (6 messages, latest: Apr 01 2021 at 16:59)
- Samson Abramsky: "The logic of contextuality" (19 messages, latest: Mar 14 2021 at 19:37)
- David Spivak: “Poly: a category of remarkable abundance” (24 messages, latest: Feb 26 2021 at 09:06)
- Introduction (38 messages, latest: Feb 25 2021 at 16:16)
- Gunnar E. Carlsson: "Relative topology, motion planning, .." (4 messages, latest: Feb 18 2021 at 16:45)
- Richard Garner: "Comodels of an algebraic theory" (27 messages, latest: Feb 11 2021 at 22:36)
