François Métayer: Homotopy theory of strict omega-categories and its connections with...Part 3
Abstract: In the first part, we describe the canonical model structure on the category of strict ω-categories and how it transfers to related subcategories. We then ...
Centre International de Rencontres Mathématiques
Global homotopy theory / Lecture 15: Generating t-structures by compact objects
Lecture 15 of "Global homotopy theory" (Advanced topics in Topology / V5D1). We recall the notion of t-structure on a triangulated category and explain how a ...
Stefan Schwede
Lecture 14 - Knot spaces and induced maps on configuration spaces
In the last lecture we related embedding spaces to simpler embedding spaces, which are homotopy equivalent to configuration spaces. Here we explain a more ...
Dev Sinha
Representable and non-reperesentable classes (Andrés Ángel)
Representable and non-reperesentable classes Plática dada por Andrés Ángel (Universidad de los Andes, Colombia) en el el Ciclo de conferencias Samuel ...
efrain vega
Nicholas Meadows --- Higher Homotopy Operations in (\infty, 1)-categories.
Talk given on Wednesday April 22, 2020 on Zoom. Abstract: Traditionally, higher homotopy operations have three primary applications in homotopy theory: ...
The New York City Category Theory Seminar
Mitchell Riley, Synthetic spectra via a monadic and comonadic modality
Homotopy Type Theory Electronic Seminar Talks, 2020-06-18 https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest_conference_2020.html "Spectra" are ...
HoTTEST
Peter Scholze: p-adic cohomology of the Lubin-Tate tower
Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its ...
Centre International de Rencontres Mathématiques
Chris Heunen and Jamie Vicary: "Categorical quantum mechanics", Lecture 1
Chris Heunen and Jamie Vicary Categorical Quantum Mechanics Lecture 1 Spring School in Quantum Structures in Physics and Computer Science, 19-22 May ...
OxfordQuantumVideo
eCHT, Jay Shah, 5 September 2019
Dan Isaksen
20190807 MSRI NCTS Joint Summer School on Toric Varieties02
NCTS Math Division
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)
Scala Swarm 2017 | Gabriele Petronella: Monad Trasformers for the working programmer
This talk was recorded at Scala Swarm Conference 2017 in Porto, Portugal. Subscribe to our YouTube channel and follow us on Twitter ...
Scala Swarm Conference
Radu Stancu: Saturation and the double Burnside ring
The lecture was held within the framework of the (Junior) Hausdorff Trimester Program Topology: Workshop "Fusion systems and equivariant algebraic topology"
Hausdorff Center for Mathematics
Geometri Recursion
Speaker: Dr. Jørgen Ellegaard Andersen (University of Southern Denmark) We shall review the geometric recursion and its relation to topological recursion.
IMSA
(Zwart, Marsden) / (Baez, Williams) (temporary)
This recording did not get split, so you get two presentations for the price of one. This presentation will be deleted soon and replaced by two separate videos.
Jelle Herold
Mike Shulman, Type 2-theories
Homotopy Type Theory Electronic Seminar Talks, 2018-04-12 Homotopy type theory is hypothesized to be an internal language for (∞,1)-toposes. However ...
HoTTEST
Pedro Vaz - Categorification of Verma modules and beyond
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)
Mehrnoosh Sadrzadeh: "What is the vector space content of what we say?"
Speaker: Mehrnoosh Sadrzadeh (University of Oxford) Title: What is the vector space content of what we say? Event: Categories, Logic and Foundations of ...
OxfordQuantumVideo
Geometry of arc spaces and the Hankel transform - Ngô Bảo Châu
Beyond Endoscopy Topic: Geometry of arc spaces and the Hankel transform Speaker: Ngô Bảo Châu, University of Chicago Time/Room: 9:45am ...
Institute for Advanced Study
YOW! Lambda Jam 2018 - Mark Hopkins -All of Basic Category Theory #YOWLambdaJam
Join me for a scenic adventure tour through the magical land of category theory, stopping off at all the major sights. We'll learn the basic notions that form the ...
YOW! Conferences
Dan Licata, A fibrational framework for substructural and modal dependent type theories
Homotopy Type Theory Electronic Seminar Talks, 2019-03-21 (joint work with Mitchell Riley and Michael Shulman) Modal type theory extends type theory with ...
HoTTEST
Valery Isaev, Indexed type theories
Homotopy Type Theory Electronic Seminar Talks, 2020-06-16 https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest_conference_2020.html Indexed type ...
HoTTEST
A. Lauda, Knot invariants and their graphical calculus via Howe duality, talk 1
A. Lauda, Knot invariants and their graphical calculus via Howe duality, talk 1. 05 - 18 July 2014, Bannoe, Magnitogorsk, Russia: International Conference ...
Dubrovinlab
2 Categorical Aspects of Equivariant Stable Homotopy Theory
Dr. Jay Shah University of Notre Dame.
Mathematical Sciences Research Institute (MSRI)
Moduli of certain Weighted Pointed Rational Curves by Chitrabhanu Chaudhuri
Higgs bundles URL: http://www.icts.res.in/program/hb2016 DATES: Monday 21 Mar, 2016 - Friday 01 Apr, 2016 VENUE : Madhava Lecture Hall, ICTS ...
International Centre for Theoretical Sciences
Prakash Panangaden: "The Mirror of Mathematics", Lecture 1
Prakash Panangaden The Mirror of Mathematics Lecture 1 Spring School in Quantum Structures in Physics and Computer Science, 19-22 May 2014, University ...
OxfordQuantumVideo
Tutorial 3 Dan Licata: Discrete and Codiscrete Modalities in Cohesive HoTT
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstact: Several modal extensions of homotopy ...
Hausdorff Center for Mathematics
Tutorial 5 Dan Licata: A Fibrational Framework for Modal Dependent Type Theories
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstacts: Several modal extensions of homotopy ...
Hausdorff Center for Mathematics