David I. Spivak - A topos-theoretic approach to systems and behavior (joint work with P. Schultz)
Abstract available at the address http://tcsc.lakecomoschool.org/files/2018/06/AbstractsToposesInComo_20_06.pdf.
INSUBRIA Como Varese
Olivia Caramello - 1/4 Introduction to categorical logic, classifying toposes...
ntroduction to categorical logic, classifying toposes and the 'bridge' technique The course will begin by presenting the basic notions and results of first-order ...
Institut des Hautes Études Scientifiques (IHÉS)
André JOYAL - New variations on the notion of topos
The notion topos is a prominent member of a family of notions which includes that of abelian category, of locally presentable category and of higher topos.
Institut des Hautes Études Scientifiques (IHÉS)
Olivia Caramello - 1/4 Introduction to Grothendieck toposes
This course provides an introduction to the theory of Grothendieck toposes from a meta-mathematical point of view. It presents the main classical approaches to ...
Institut des Hautes Études Scientifiques (IHÉS)
Mr LIMA de CARVALHO e SILVA - From Essential Inclusions to Local Geometric Morphisms
It is well known that, given a site of denition, a subtopos of Grothendieck topos can be obtained by strengthening the Grothendieck topology, thus obtaining an ...
Institut des Hautes Études Scientifiques (IHÉS)
Complex Analytic Methods in Dynamical Systems - Galois Differential Theory and Riemann Surfaces
In honor of the 60th birthday of César Camacho Organizing Committee: Bruno Scárdua (UFRJ) Marcio Soares (UFMG) Scientific Committee: Etienne Ghys (ENS, ...
Instituto de Matemática Pura e Aplicada
P. Scholze - p-adic K-theory of p-adic rings
The original proof of Grothendieck's purity conjecture in étale cohomology (the Thomason-Gabber theorem) relies on results on l-adic K-theory and its relation to ...
Institut des Hautes Études Scientifiques (IHÉS)
Topos de Grothendieck
Cours donné par Stéphane Dugowson, mathématicien, historien des sciences et maître de conférence, aux étudiants du master LOPHISS de Paris Diderot ...
Celine Loozen
Equivariant Topology and Discrete Geometry - Benjamin Matschke
Benjamin Matschke Technical University of Berlin; Member, School of Mathematics September 23, 2011 For more videos, visit http://video.ias.edu.
Institute for Advanced Study
Mike PREST - Model-theoretic imaginaries and localisation for additive categories
https://indico.math.cnrs.fr/event/747/session/5/contribution/17/material/0/0.pdf.
Institut des Hautes Études Scientifiques (IHÉS)
Hodge Theory -- From Abel to Deligne - Phillip Griffiths
Phillip Griffiths School of Mathematics, Institute for Advanced Study October 14, 2013 For more videos, visit http://video.ias.edu.
Institute for Advanced Study
Session 4: Masterclass in Condensed Mathematics
Masterclass in Condensed Mathematics GeoTop, University of Copenhagen, 9 - 13 November 2020 Session 4: Dustin Clausen The course will present the ...
GeoTopCPH
Mathieu Anel. Derived geometry.
Derived geometry by Mathieu Anel (SPHERE, ERC project Philosophy of Canonical Quantum Gravity). October 1, 2015 14:30 — 15:45 in Institute Henri ...
ERC PhiloQuantumGravity
Galois, Grothendieck and Voevodsky - George Shabat
Vladimir Voevodsky Memorial Conference Topic: Galois, Grothendieck and Voevodsky Speaker: George Shabat Affiliation: Russian State University for the ...
Institute for Advanced Study
2.3 A. Connes : Non-commutative geometry
Visions in Mathematics Towards 2000 All videos playlist https://www.youtube.com/playlist?list=PLP0YToNcfAwLBd8yibTtjv3aHfcbT4GBA The Proceeding of this ...
Visions in Mathematics Towards 2000
8.6 E. Hrushovski : Logic and geometry
Visions in Mathematics Towards 2000 All videos playlist https://www.youtube.com/playlist?list=PLP0YToNcfAwLBd8yibTtjv3aHfcbT4GBA The Proceeding of this ...
Visions in Mathematics Towards 2000
Andreas Blass: Choice from finite sets: a topos view
This talk was held in the CUNY set theory seminar on Feb. 5, 2021. Andreas Blass' website is at http://www.math.lsa.umich.edu/~ablass/
NYLogic
Alexander Goncharov - 2/4 Quantum Geometry of Moduli Spaces of Local Systems...
Quantum Geometry of Moduli Spaces of Local Systems and Representation Theory Lectures 1-3 are mostly based on our recent work with Linhui Shen. Given a ...
Institut des Hautes Études Scientifiques (IHÉS)
Anthony Licata - Geometric group theory and spherical twists
Workshop on "Categorification in quantum topology and beyond" at the Erwin Schrödinger International Institute for Mathematics and Physics on January 7-18, ...
Erwin Schrödinger International Institute for Mathematics and Physics (ESI)
F. William Lawvere - What is a Space?
Symposium : Sets Within Geometry : Nancy, France 26-29 July 2011.
Matt Earnshaw
String Math 2020, Day 3: Natalie Paquette
Twisted Holography & Koszul Duality Speaker: Natalie Paquette (Caltech)
Strings 2020
David Spivak: Reglog—the game
MIT Category Theory Seminar 2019/04/12 ©Spifong Abstract: I'll discuss the mathematical specification of a graphical user interface for logical reasoning.
Topos Institute
The integral coefficient geometric Satake equivalence in mixed characteristic - Jize Yu
Virtual Workshop on Recent Developments in Geometric Representation Theory Topic: The integral coefficient geometric Satake equivalence in mixed ...
Institute for Advanced Study
Laurent Lafforgrue - Grothendieck toposes as generalised spaces (part 3)
Grothendieck toposes as generalised spaces Laurent Lafforgue - IHES We will present the basic denitions and results of Grothendieck toposes theory, as it was ...
INSUBRIA Como Varese
A formal proof of the independence of the continuum hypothesis
Presenter: Jesse Han. Presenter video comes back at 1:24. Presented at CPP'20, colocated with POPL 2020.
ACM SIGPLAN
Informal talk in Derived Geometry (Jacob Lurie)
Informal talk in Derived Geometry Plática dada por Jacob Lurie (Harvard University, Cambridge) en las Conferencias José Adem 2016 en el Centro de ...
Ciencias TV
Foundations 5: Intuitionistic Logic and Type Theory
In this series we develop an understanding of the modern foundations of pure mathematics, starting from first principles. We start with intuitive ideas about set ...
Richard Southwell
Rick Jardine: Fuzzy sets, presheaves, and topological data analysis
MIT Category Theory Seminar 2020/11/12 ©Spifong Speaker: Rick Jardine Title: Fuzzy sets, presheaves, and topological data analysis Abstract: There was a ...
Topos Institute
Gunnar E. Carlsson: "Relative topology, motion planning, and coverage problems"
18th of February, 2021. Part of the Topos Institute Colloquium. ----- Abstract: Algebraic topology produces invariants that capture aspects of the shape of a space, ...
Topos Institute
Mike Shulman: Conservativity of duals
MIT Category Theory Seminar 2020/05/14 ©Spifong Speaker: Mike Shulman Title: Conservativity of duals Abstract: Dual objects in monoidal categories have ...
Topos Institute
Project ERC AAMOT
Film produced and directed by: Oliver Ralfe Production company: Sheep Street Productions.
Institut des Hautes Études Scientifiques (IHÉS)
Semi-infinite Hodge structure: from BCOV theory to Seiberg-Witten geometry
Prof. Si Li from Tsinghua University gave a talk entitled “Semi-infinite Hodge structure: from BCOV theory to Seiberg-Witten geometry” at International ...
Tohoku University
Pieter Hofstra - Isotropy of Toposes
Abstract available at the address http://tcsc.lakecomoschool.org/files/2018/06/AbstractsToposesInComo_20_06.pdf.
INSUBRIA Como Varese
Modern Physics Formalized in Modal Homotopy Type Theory by Urs Schreiber
Modern Physics Formalized in Modal Homotopy Type Theory by Urs Schreiber Please note: This is a reupload due to a wrong caption Abstract: Homotopy type ...
FOMUS 2016
Camell Kachour - Globular perspective for Grothendieck ∞-topos and Grothendieck (∞,n)-topos
In this short talk we first briefly recall [4] how to build, for each integers n0, monads Tn on the category Glob of globular sets which algebras are globular models ...
Institut des Hautes Études Scientifiques (IHÉS)
(Wetering) — An Effect-theoretic Reconstruction of Quantum Theory
Applied Category Theory 2019, Oxford http://www.cs.ox.ac.uk/ACT2019/
Jelle Herold
ACT 2020 Tutorial: Introduction to Applied Category Theory (David Spivak)
Title: Introduction to Applied Category Theory Speaker: David I. Spivak Abstract: I'll give a basic introduction to category theory and how it can be relevant to real ...
Applied Category Theory
Martin Escardó, Constructive mathematics in univalent type theory
Homotopy Type Theory Electronic Seminar Talks, 2018-04-26 I want to share my experience of doing constructive mathematics in univalent type theory, ...
HoTTEST
MATH-PHYS-CAT seminars 03: Categorical Logic and Topos Theory
MATH-PHYS-CAT online seminars. Visit us and discover our group: https://math-phys.group/. Speaker: Mayk Alves de Andrade ...
Mathematical-Physics & Categorification Group
Homotopy Type Theory: what can logic do for homotopy theory? - Peter Lumsdaine
Peter Lumsdaine Homotopy Type Theory: what can logic do for homotopy theory? Institute for Advanced Study; Member, School of Mathematics October 4, 2013 ...
Institute for Advanced Study
Jonathon Funk --- Pseudogroup Torsors.
Talk given on Wednesday October 14, 2020 on Zoom. Abstract: We use sheaf theory to analyze the topos of etale actions on the germ groupoid of a ...
The New York City Category Theory Seminar
David Spivak: Polynomial functors II: Seven wonders of the composition product
MIT Category Theory Seminar 2020/05/28 ©Spifong Speaker: David Spivak Title: Polynomial functors II: Seven wonders of the composition product Abstract: On ...
Topos Institute