Stable homotopy and quantum contextuality
by Cihan Okay, University of British Columbia.
ASQC4
Intensionality, Invariance, and Univalence, Steve Awodey
What does a mathematical proposition mean? Under one standard account, all true mathematical statements mean the same thing, namely True. A more ...
Copernicus Center for Interdisciplinary Studies
Higher Algebra 7: Non-abelian derived functors
In this video, we discuss the notion of non-abelian derived functors and Animation. Along the way, we discuss the Yoneda lemma. Warning: The Yoneda ...
Homotopy Theory Münster
Category Theory - Lecture 9
... can be generalised to enriched category theory but replacing the category of sets with some other monoidal category. Then we talk about abelian categories, ...
An Antipodal Algebraic Topologist
David Jaz Myers: Homotopy type theory for doing category theory
MIT Category Theory Seminar 2020/03/26 ©Spifong Speaker: David Jaz Myers Title: Homotopy type theory for doing category theory Abstract: Homotopy Type ...
Topos
Algebraic K-theory, combinatorial K-theory and geometry - Inna Zakharevich
Vladimir Voevodsky Memorial Conference Topic: Algebraic K-theory, combinatorial K-theory and geometry Speaker: Inna Zakharevich Affiliation: Cornell ...
Institute for Advanced Study
Visual Group Theory, Lecture 1.3: Groups in science, art, and mathematics
Visual Group Theory, Lecture 1.3: Groups in science, art, and mathematics Groups are always lurking where symmetry arises. In this lecture, we explore many ...
Professor Macauley
Categorification of Fourier Theory
A talk of Jacob Lurie given on April 24, 2015 at the Harvard Mathematics Department.
Harvard Math
Lie Groups and Lie Algebras: Lesson 34 -Introduction to Homotopy
Lie Groups and Lie Algebras: Introduction to Homotopy In order to proceed with Gilmore's study of Lie groups and Lie algebras we now need a concept from ...
XylyXylyX
Even spaces and motivic resolutions - Michael Hopkins
Vladimir Voevodsky Memorial Conference Topic: Even spaces and motivic resolutions Speaker: Michael Hopkins Affiliation: Harvard University Date: September ...
Institute for Advanced Study
Introduction to Topology. Fundamental Groups. Homeomorphisms
Introduction to Topology. In this video, I will introduce the motivation to study topology. I will talk about topological spaces, continuous maps, homeomorphisms, ...
Math For Life
Ulrich Pennig: "Fell bundles, Dixmier-Douady theory and higher twists"
Actions of Tensor Categories on C*-algebras 2021 "Fell bundles, Dixmier-Douady theory and higher twists" Ulrich Pennig - Cardiff University, School of ...
Institute for Pure & Applied Mathematics (IPAM)
Don't Write in Yellow (Tom Kibble) - Sixty Symbols
Thanks to various sources for pictures, including CERN and Imperial College London. Visit our website at http://www.sixtysymbols.com/ We're on Facebook at ...
Sixty Symbols
The fundamental group | Algebraic Topology | NJ Wildberger
This lecture introduces the fundamental group of a surface. We begin by discussing when two paths on a surface are homotopic, then defining multiplication of ...
Insights into Mathematics
IMPA 50 Anos - Cycles and Spectra
Palestrante: B. Lawson (IMPA) - Cycles and Spectra Playlist dos videos: http://bit.ly/31K2OqA Página do evento: http://bit.ly/39txWgB IMPA - Instituto de ...
Instituto de Matemática Pura e Aplicada
Covering spaces | Algebraic Topology | NJ Wildberger
We introduce covering spaces of a space B, an idea that is naturally linked to the notion of fundamental group. The lecture starts by associating to a map ...
Insights into Mathematics
Yuri Manin | Homotopy spectra and Diophantine equations
... only about fifty years ago: it is the theory of spectra in stable homotopy theory. In particular, it connects $Z$, the initial object in the theory of commutative rings, ...
Harvard CMSA
Introduction to stable homotopy theory - Lecture 5
Brown representability and spectra.
Denis Nardin
The things you'll find in higher dimensions
This video covers a range of what shapes and properties you'd encounter in higher dimensions. Why there are only 5 platonic solids proof: ...
Zach Star
2. Path Homotopy; the Fundamental Group - Pierre Albin
Lecture 2 of Algebraic Topology course by Pierre Albin.
Mat Neth
Peter Scholze (Universität Bonn) - Condensed Mathematics (2019)
March 28, 2019 (03:30 PM PDT - 04:30 PM PDT) Speaker(s): Peter Scholze (Universität Bonn) Location: MSRI: Simons Auditorium Derived Algebraic Geometry ...
Graduate Mathematics
Global homotopy theory / Lecture 9: Equivariant homotopy groups of mO
Lecture 9 of "Global homotopy theory" (Advanced topics in Topology / V5D1). We show that the global Thom spectrum mO is globally connective and we ...
Stefan Schwede
Chris Schommer-Pries: Dualizability in Low Dimensional Higher Category Theory (Part 3)
Chris Schommer-Pries (Massachusetts Institute of Technology) Abstract: The cobordism hypothesis establishes a powerful relationship between extended ...
University of Notre Dame
Algebraic Topology - 4 - Categories and Functors
Don't watch this video. Go read about this somewhere else. Category theory is essentially the black hole of math. We could go and talk about this stuff forever ...
Taylor Dupuy
Mod-01 Lec-32 Continuous groups in physics (Part 1)
Lecture Series on Classical Physics by Prof.V.Balakrishnan, Department of Physics, IIT Madras. For more details on NPTEL visit http://nptel.iitm.ac.in.
nptelhrd
Digression: The cotangent complex and obstruction theory
We study the cotangent complex more in depth and explain its relation to obstruction theory. As an example we construct the Witt vectors of a perfect ring.
Homotopy Theory Münster
Homotopy II: Simplicial sets and Quillen model structure (8/12)
Reminders on simplicial sets and beginning of the proof of the existence of the Quillen model structure on the category of simplicial sets (Sections 2.1, 2.2, 2.3, ...
Najib Idrissi Kaïtouni
David Blanc: Higher order homotopy invariants
July 20, 2017 @UIUC.
Vesna Stojanoska
Group theory 32: Subgroups of free groups
This lecture is part of an online mathematics course on group theory. We describe subgroups of free groups, show that they are free, calculate the number of ...
Richard E. BORCHERDS
Michael Hopkins - Algebraic and motivic vector bundles
Institut des Hautes Études Scientifiques (IHÉS)
Nonetheless one should learn the language of topos: Grothendieck... - Colin McLarty [2018]
Grothendieck's 1973 topos lectures Colin McLarty 3 mai 2018 In the summer of 1973 Grothendieck lectured on several subjects in Buffalo NY, and these lectures ...
Graduate Mathematics
Teena Gerhardt - 1/3 Algebraic K-theory and Trace Methods
Algebraic K-theory is an invariant of rings and ring spectra which illustrates a fascinating interplay between algebra and topology. Defined using topological ...
Institut des Hautes Études Scientifiques (IHÉS)
Knot Theory 5: Fundamental Group
Problem Set: https://drive.google.com/open?id=1wNzzK1cY5TcLG_CKuRz-UaaA3B_CTp_p Knot Theory: Lecture 5. An introduction to the Fundamental group, ...
Math at Andrews
Roman Mikhailov-Combinatorial group theory and homotopy
Roman Mikhailov (Steklov Mathematical Institute, Moscow) Combinatorial group theory and homotopy.
Israel Institute for Advanced Studies
Programa de Doutorado: Hodge Theory - Class 11 - Derived Functors
Abelian categories with enough injectives, the derived object of a complex is well defined, simple complex associated to a double complex resolution, every ...
Instituto de Matemática Pura e Aplicada
An introduction to homology (cont.) | Algebraic Topology | NJ Wildberger
Here we carry on our introduction to homology, focussing on a particularly simple space, basically a graph and various modifications to it. We discuss cycles ...
Insights into Mathematics
Higher Algebra 6: Derived Functors
In this video, we define and discuss derived functors between derived categories of abelian categories. Additionally we discuss the notion of adjoint functors and ...
Homotopy Theory Münster
Mike Hill - Real and Hyperreal Equivariant and Motivic Computations
Foundational work of Hu—Kriz and Dugger showed that for Real spectra, we can often compute as easily as non-equivariantly. The general equivariant slice ...
Institut des Hautes Études Scientifiques (IHÉS)
Chris Schommer-Pries: Dualizability in Low Dimensional Higher Category Theory (Part 4)
Chris Schommer-Pries (Massachusetts Institute of Technology) Abstract: The cobordism hypothesis establishes a powerful relationship between extended ...
University of Notre Dame
Tutorial "Homotopy Theory and Topological Defects" - Randall Kamien
Randall Kamien, University of Pennsylvania I-CAMP 2013 Summer School on Liquid Crystals (Cambridge, United Kingdom, June 26 - July 06, 2013)
ICAM - I2CAM
Math 679 / Lecture 4: Abelian varieties (algebraic theory)
See http://www-personal.umich.edu/~asnowden/teaching/2013/679/L04.html for notes.
Andrew Snowden
Luca BARBIERI VIALE - T-Motives
Key results due to O. Caramello show us that there is a regular theory such that the Barr exact completion of its regular syntactic category is equivalent to the ...
Institut des Hautes Études Scientifiques (IHÉS)