filmov
tv
Maru Sarazola, The stable homotopy hypothesis, 19/11/2020
Показать описание
Masaryk University Algebra Seminar
Рекомендации по теме
0:58:31
Maru Sarazola, The stable homotopy hypothesis, 19/11/2020
0:08:32
Maru Sarazola Research Summary 2020
1:04:08
Maru Sarazola: Two model structures for double categories
1:28:48
Introduction to stable homotopy theory - Lecture 18
1:32:06
Introduction to stable homotopy theory - Lecture 8
1:05:22
Stable Homotopy Seminar, 19: The Adams spectral sequence (D. Zack Garza)
1:08:36
Global homotopy theory / Lecture 14: Left and right induced global homotopy types
0:20:14
Shi Chen - “Generalized symmetry from the homotopy hypothesis”
0:09:41
Mingcong Zeng Research Summary 2020
2:05:06
Homotopy II: Explicit description of the homotopy category of a model category (4/12)
0:23:53
E5.F – Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory
1:01:53
Urtzi Buijs Martín: Infinity structures in rational homotopy theory
0:02:14
Type Theory for the Curious Mathematician
1:04:43
Complexes, Graphs, Homotopy and Shannon Capacity
1:06:17
Agnès Beaudry | Homotopy Theory and Phases of Matter
0:10:43
I.4: Wellfoundedness
0:55:33
Introduction to Cubical Sets
1:28:01
Benoit Fresse. Operads, Graph Complexes, and the Rational Homotopy of Embedding Spaces.
0:46:49
Jacob von Raumer, Coherence via well-foundedness
1:03:50
New methods to construct model categories - Lyne Moser (University of Regensburg)
1:07:52
Pierre Cagne, On the symmetries of the spheres in univalent foundations
0:55:02
Digression: THH of the integers (corrected)
1:06:21
Elden Elmanto: Motivic topology and purity for torsors
0:45:38
eCHT, Inna Zakharevich, 27 January 2022