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. | |