Topos Institute Colloquium

Computer science algebraic topology category theory logic

Audience:	Learners
Seminar series times:	No fixed schedule
Organizer:	Tim Hosgood*
	*contact for this listing

Upcoming talks

Past talks

Your time			Speaker	Title
Thu	Oct 28	17:00	Dorette Pronk	Doubly Lax Colimit of Double Categories with Applications
Thu	Nov 04	18:00	Jeremy Avigad	[Title TBA]
Thu	Nov 11	20:00	Peter Teichner	[Title TBA]
Thu	Nov 18	17:00	Paolo Perrone	[Title TBA]
Thu	Dec 02	17:00	Evan Patterson	[Title TBA]
Thu	Dec 09	17:00	Robert Harper	[Title TBA]

Embed this schedule

Your time			Speaker	Title
Thu	Oct 21	17:00	Chris Kapulkin	Cubical setting for Discrete Homotopy Theory
Thu	Oct 14	17:00	Andreas Blass	A topos view of axioms of choice for finite sets
Thu	Oct 07	15:00	Anders Mortberg	Cubical Methods in Homotopy Type Theory and Univalent Foundations
Thu	Sep 30	15:00	Pawel Sobocinski	Algebraic theories with string diagrams
Thu	Sep 23	17:00	Andrew J. Blumberg	Abstract homotopy theory for topological data analysis
Thu	Sep 16	17:00	Jamie Vicary	Understanding free infinity-categories
Thu	Sep 09	17:00	John Bourke	Tensor products, multimaps and internal homs
Thu	Sep 02	17:00	Florian Rabe	MMT: A UniFormal Approach to Knowledge Representation
Thu	Aug 26	17:00	Conor McBride	Cats and Types: Best Friends?
Thu	Aug 19	17:00	Valeria de Paiva	Categorical Explicit Substitutions
Thu	Aug 12	17:00	Kevin Buzzard	What is the point of Lean's maths library?
Thu	Aug 05	17:00	Todd Trimble	From 2-rigs to lambda-rings
Thu	Jul 29	22:00	Marcy Robertson	Topological Inspiration for Infinity Modular Operads
Thu	Jul 22	17:00	Walter P Tholen	What is monoidal topology?
Thu	Jul 08	17:00	Geoffrey Cruttwell	Categorical differential structures and their role in abstract machine learning
Thu	Jul 01	17:00	Lawrence Paulson	Formalising Contemporary Mathematics in Simple Type Theory
Thu	Jun 24	18:00	Kathryn Hess	From comonads to calculus
Thu	Jun 17	17:00	Chris Heunen	Sheaf representation of monoidal categories
Thu	Jun 10	17:00	Eugene Lerman	A category of hybrid systems
Thu	Jun 03	17:00	Steve Awodey	Model Structures from Models of HoTT
Thu	May 27	17:00	Michael Shulman	Two-dimensional semantics of homotopy type theory
Thu	May 20	17:00	Tobias Fritz	The law of large numbers in categorical probability
Thu	May 13	17:00	Maria Emilia Maietti	Quotient completions for topos-like structures
Thu	May 06	17:00	Emily Riehl	Contractibility as uniqueness
Thu	Apr 29	17:00	Jonathan Gorard	Fast Diagrammatic Reasoning and Compositional Approaches to Fundamental Physics
Thu	Apr 22	17:00	Shaowei Lin	Proofs as programs: challenges and strategies for program synthesis
Thu	Apr 15	17:00	Asgar Jamneshan	Topos theory and measurability
Thu	Apr 08	17:00	Joachim Kock	Noncrossing hyperchords and free probability
Thu	Apr 01	17:00	Dan Christensen	Reasoning in an ∞-topos with homotopy type theory
Thu	Mar 25	18:00	John Baez	Mathematics in the 21st century
Thu	Mar 11	17:00	Samson Abramsky	The logic of contextuality
Thu	Feb 18	17:00	Gunnar E. Carlsson	Relative topology, motion planning, and coverage problems
Thu	Feb 11	21:00	Richard Garner	Comodels of an algebraic theory
Thu	Feb 04	17:00	David Spivak	Poly: a category of remarkable abundance

Embed this schedule

Export series to