Topos Institute Colloquium

External homepage

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 timeSpeakerTitle
ThuOct 2817:00Dorette PronkDoubly Lax Colimit of Double Categories with Applications
ThuNov 0418:00Jeremy Avigad[Title TBA]
ThuNov 1120:00Peter Teichner[Title TBA]
ThuNov 1817:00Paolo Perrone[Title TBA]
ThuDec 0217:00Evan Patterson[Title TBA]
ThuDec 0917:00Robert Harper[Title TBA]
Embed this schedule
Your timeSpeakerTitle
ThuOct 2117:00Chris KapulkinCubical setting for Discrete Homotopy Theory
ThuOct 1417:00Andreas BlassA topos view of axioms of choice for finite sets
ThuOct 0715:00Anders MortbergCubical Methods in Homotopy Type Theory and Univalent Foundations
ThuSep 3015:00Pawel SobocinskiAlgebraic theories with string diagrams
ThuSep 2317:00Andrew J. BlumbergAbstract homotopy theory for topological data analysis
ThuSep 1617:00Jamie VicaryUnderstanding free infinity-categories
ThuSep 0917:00John BourkeTensor products, multimaps and internal homs
ThuSep 0217:00Florian RabeMMT: A UniFormal Approach to Knowledge Representation
ThuAug 2617:00Conor McBrideCats and Types: Best Friends?
ThuAug 1917:00Valeria de PaivaCategorical Explicit Substitutions
ThuAug 1217:00Kevin BuzzardWhat is the point of Lean's maths library?
ThuAug 0517:00Todd TrimbleFrom 2-rigs to lambda-rings
ThuJul 2922:00Marcy RobertsonTopological Inspiration for Infinity Modular Operads
ThuJul 2217:00Walter P TholenWhat is monoidal topology?
ThuJul 0817:00Geoffrey CruttwellCategorical differential structures and their role in abstract machine learning
ThuJul 0117:00Lawrence PaulsonFormalising Contemporary Mathematics in Simple Type Theory
ThuJun 2418:00Kathryn HessFrom comonads to calculus
ThuJun 1717:00Chris HeunenSheaf representation of monoidal categories
ThuJun 1017:00Eugene LermanA category of hybrid systems
ThuJun 0317:00Steve AwodeyModel Structures from Models of HoTT
ThuMay 2717:00Michael ShulmanTwo-dimensional semantics of homotopy type theory
ThuMay 2017:00Tobias FritzThe law of large numbers in categorical probability
ThuMay 1317:00Maria Emilia MaiettiQuotient completions for topos-like structures
ThuMay 0617:00Emily RiehlContractibility as uniqueness
ThuApr 2917:00Jonathan GorardFast Diagrammatic Reasoning and Compositional Approaches to Fundamental Physics
ThuApr 2217:00Shaowei LinProofs as programs: challenges and strategies for program synthesis
ThuApr 1517:00Asgar JamneshanTopos theory and measurability
ThuApr 0817:00Joachim KockNoncrossing hyperchords and free probability
ThuApr 0117:00Dan ChristensenReasoning in an ∞-topos with homotopy type theory
ThuMar 2518:00John BaezMathematics in the 21st century
ThuMar 1117:00Samson AbramskyThe logic of contextuality
ThuFeb 1817:00Gunnar E. CarlssonRelative topology, motion planning, and coverage problems
ThuFeb 1121:00Richard GarnerComodels of an algebraic theory
ThuFeb 0417:00David SpivakPoly: a category of remarkable abundance
Embed this schedule
Export series to