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