| Your time | Speaker | Title | |
| Wed | Apr 23 | 23:00 | Andrei Rodin | The concept of mathematical structure according to Voevodsky. | |
| Wed | Apr 09 | 23:00 | Emilio Minichiello | Structured Decomposition Categories. | |
| Wed | Mar 26 | 23:00 | Hannah Aizenman | Topologically Equivalent Artist Model. | |
| Wed | Mar 19 | 23:00 | Sophie d'Espalungue. | Building All of Mathematics Without Axioms: An n-Categorical Manifesto. | |
| Wed | Mar 12 | 23:00 | Jonathon Funk | Toposes and Rings | |
| Thu | Mar 06 | 00:00 | Grigorios Giotopoulos | Thickened smooth sets as a natural setting for Lagrangian field theory. | |
| Thu | Feb 27 | 00:00 | Thiago Alexandre | Topological Derivators | |
| Thu | Feb 20 | 00:00 | Jacob Szelko | An Introduction to Compositional Public Health. | |
| Thu | Feb 06 | 00:00 | Raymond Puzio | Gentle Introduction to Synthetic Differential Geometry Part 1 | |
| Thu | Dec 12 | 00:00 | Matthew Cushman | Recollements: gluing and fracture for categories. | |
| Thu | Dec 05 | 00:00 | Charlotte Aten | Invariants of structures. | |
| Wed | Nov 27 | 19:00 | Tim Hosgood | Loose simplicial objects. | |
| Thu | Nov 21 | 00:00 | Arnon Avron | What is the Structure of the Natural numbers? | |
| Thu | Nov 14 | 00:00 | Emilio Minichiello | Decision Problems on Graphs with Sheaves. IN PERSON | |
| Thu | Nov 07 | 00:00 | David Jaz Myers | The Para and Kleisli constructions as wreath products. | |
| Wed | Oct 30 | 18:00 | Bruno Gavranović | Categorical Deep Learning: An Algebraic Theory of Architectures---NOTE SPECIAL TIME. | |
| Wed | Oct 09 | 23:00 | Sam McCrosson | Exodromy. | |
| Wed | Sep 25 | 23:00 | Noah Chrein | A formal category theory for oo-T-multicategories. | |
| Wed | Sep 18 | 23:00 | Jake Araujo-Simon | Categorifying the Volterra series: towards a compositional theory of nonlinear signal processing. | |
| Wed | May 29 | 23:00 | Samuel Mimram | TBA | |
| Wed | May 22 | 23:00 | Emilio Minichiello | Presenting Profunctors | |
| Wed | May 15 | 23:00 | Raymond Puzio | Uniqueness of Classical Retrodiction | |
| Wed | May 08 | 23:00 | Juan Orendain | Canonical squares in fully faithful and absolutely dense equipments. | |
| Thu | Nov 30 | 00:00 | Charlotte Aten | A categorical semantics for neural networks | |
| Thu | Nov 23 | 00:00 | Pedro Sota | CANCELLED | |
| Thu | Nov 09 | 00:00 | Larry Moss | On Kripke, Vietoris, and Hausdorff Polynomial Functors. | |
| Wed | Oct 25 | 23:00 | Emilio Minichiello | A Mathematical Model of Package Management Systems. | |
| Wed | Oct 18 | 23:00 | Michael Shulman | The derivator of setoids | |
| Wed | Oct 11 | 23:00 | Thiago Alexandre | Internal homotopy theories | |
| Wed | Sep 27 | 23:00 | Tomáš Gonda | A Framework for Universality in Physics, Computer Science, and Beyond. | |
| Wed | May 17 | 23:00 | Arthur Parzygnat | Inferring the past and using category theory to define retrodiction. | |
| Wed | Apr 26 | 23:00 | Dusko Pavlovic | Program-closed categories. | |
| Wed | Apr 19 | 23:00 | Walter Tholen | What does “smallness” mean in categories of topological spaces? | |
| Wed | Mar 29 | 23:00 | Jim Otto | P Time, A Bounded Numeric Arrow Category, and Entailments. | |
| Wed | Mar 15 | 23:00 | Jens Hemelaer | EILC toposes. | |
| Thu | Feb 23 | 00:00 | Joshua Sussan | Non-semisimple Hermitian TQFTs. | |
| Thu | Feb 16 | 00:00 | Mee Seong Im | Automata and topological theories. | |
| Thu | Feb 09 | 00:00 | Mikhail Khovanov | Universal construction and its applications. | |
| Thu | Feb 02 | 00:00 | Igor Baković | Enhanced 2-adjunctions. | |
| Thu | Dec 08 | 00:00 | Robert Pare | The horizontal/vertical synergy of double categories | |
| Thu | Nov 24 | 00:00 | Saeed Salehi | Self-Reference and Diagonalization: their difference and a short history. | |
| Thu | Nov 10 | 00:00 | Andrei Rodin | Kolmogorov's Calculus of Problems and Homotopy Type theory | |
| Wed | Nov 02 | 23:00 | Astra Kolomatskaia | The Objective Metatheory of Simply Typed Lambda Calculus | |
| Wed | Oct 26 | 23:00 | Ross Street | The core groupoid can suffice | |
| Wed | Oct 19 | 23:00 | David Ellerman | To Interpret Quantum Mechanics:``Follow the Math'': The math of QM as the linearization of the math of partitions | |
| Wed | Sep 28 | 23:00 | James Torre | Diagonalization, and the Limits of Limitative Theorems | |
| Wed | Sep 14 | 23:00 | Prakash Panangaden | Quantitative Equational Logic | |
| Wed | Sep 07 | 23:00 | Sergei Burkin | Segal conditions and twisted arrow categories of operads | |
| Wed | May 04 | 23:00 | Gershom Bazerman | Classes of Closed Monoidal Functors which Admit Infinite Traversals. | |
| Wed | Apr 27 | 23:00 | Alex Sorokin | The defect of a profunctor. | |
| Wed | Apr 13 | 23:00 | Alex Martsinkovsky | A Reflector in Search of a Category. | |
| Wed | Apr 06 | 23:00 | Jason Parker | Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities. | |
| Wed | Mar 30 | 23:00 | Morgan Rogers | Toposes of Topological Monoid Actions. | |
| Wed | Mar 23 | 23:00 | Joseph Dimos | Introduction to Fusion Categories and Some Applications. | |
| Wed | Mar 16 | 23:00 | Jin-Cheng Guu | Topological Quantum Field Theories from Monoidal Categories | |
| Thu | Feb 24 | 00:00 | David Roberts | Do you have what it takes to use the diagonal argument? | |
| Thu | Feb 17 | 00:00 | Emilio Minichiello | Category Theory ∩ Differential Geometry. | |
| Thu | Feb 03 | 00:00 | Ralph Wojtowicz | On Logic-Based Artificial Intelligence and Categorical Logic. | |
| Thu | Dec 23 | 00:00 | Todd Trimble | Categorifying negatives: roadblocks and detours. | |
| Thu | Dec 16 | 00:00 | Samantha Jarvis | Language as an Enriched Category. | |
| Thu | Dec 09 | 00:00 | Jens Hemelaer | TBA | |
| Thu | Dec 02 | 00:00 | Robert Geroch | An Alien's Perspective on Mathematics (and Physics). | |
| Thu | Nov 18 | 00:00 | Marco Schorlemmer | A Uniform Model of Computational Conceptual Blending | |
| Wed | Nov 03 | 23:00 | Dusko Pavlovic | Geometry of computation and string-diagram programming in monoidal computer | |
| Wed | Oct 20 | 23:00 | Dan Shiebler | Out of Sample Generalization with Kan Extensions | |
| Wed | Oct 06 | 23:00 | Gemma De las Cuevas | From simplicity to universality and undecidability | |
| Wed | May 05 | 23:00 | Juan Orendain | How long does it take to frame a bicategory? | |
| Wed | Apr 14 | 23:00 | Ross Street | Absolute colimits for differential graded categories. | |
| Wed | Mar 24 | 23:00 | Tobias Fritz | Categorical Probability and the de Finetti Theorem | |
| Wed | Mar 17 | 23:00 | Tobias Fritz | Categorical Probability and the de Finetti Theorem | |
| Thu | Mar 04 | 00:00 | Joshua Sussan | Categorification and quantum topology. | |
| Thu | Feb 18 | 00:00 | Richard Blute | Finiteness Spaces, Generalized Polynomial Rings and Topological Groupoids. | |
| Thu | Feb 11 | 00:00 | Peter Hines | Shuffling cards as an operad. | |
| Thu | Feb 04 | 00:00 | Jason Parker | Isotropy Groups of Quasi-Equational Theories. | |
| Wed | Dec 16 | 18:00 | Arthur Parzygnat | A functorial characterization of classical and quantum entropies. | |
| Thu | Dec 10 | 00:00 | Dan Shiebler | Functorial Manifold Learning and Overlapping Clustering. | |
| Thu | Dec 03 | 00:00 | Andrew Winkler | Functors as homomorphisms of quivered algebras. | |
| Thu | Nov 19 | 00:00 | Enrico Ghiorzi | Internal enriched categories. | |
| Thu | Nov 12 | 00:00 | Noah Chrein | Yoneda ontologies. | |
| Thu | Nov 05 | 00:00 | Luis Scoccola | Locally persistent categories and approximate homotopy theory. | |
| Wed | Oct 28 | 23:00 | Larry Moss | Coalgebra in Continuous Mathematics. | |
| Wed | Oct 21 | 23:00 | Andrei V. Rodin | Vladimir Voevodsky’s Unachieved Project | |
| Wed | Oct 14 | 22:00 | Jonathon Funk | Pseudogroup Torsors. | |
| Wed | Sep 30 | 23:00 | David Ellerman | The Logical Theory of Canonical Maps: The Elements & Distinctions Analysis of the Morphisms, Duality, Canonicity, and Universal Constructions in Sets. | |
| Wed | Sep 16 | 23:00 | Rick Jardine | Posets, metric spaces, and topological data analysis. | |
