Homotopy coherence — past and future

preview_player
Показать описание
James Stasheff (University of Pennsylvania)

Workshop on Supergeometry and Bracket Structures in Mathematics and Physics
  1. Fields Institute
Рекомендации по теме
Homotopy coherence — 0:47:10

Homotopy coherence — past and future

James Stasheff (8/31/22): 0:54:08

James Stasheff (8/31/22): Homotopy coherence - theme and variations

Homotopy Coherent Nerve 2:01:55

Homotopy Coherent Nerve and Straightening, Cubically

E5.F – Coherence 0:23:53

E5.F – Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory

Enriched Homotopy Coherent 1:41:24

Enriched Homotopy Coherent Structures

Abstract Algebra in 0:50:38

Abstract Algebra in Homotopy-Coherent Mathematics - Jacob Lurie

Jacob von Raumer, 0:46:49

Jacob von Raumer, Coherence via well-foundedness

TRHW01 | Dr. 0:31:33

TRHW01 | Dr. Thibault Décoppet | The homotopy coherent classification of fusion 2-categories

David Favero: Homotopy 1:06:31

David Favero: Homotopy path algebras and resolutions

Stable Homotopy Seminar, 1:03:21

Stable Homotopy Seminar, 9: Infinite Loop Spaces, and Homotopy Colimits

Ben Antieau: Negative 1:01:17

Ben Antieau: Negative and homotopy K-theoretic extensions of the theorem of the heart

François Métayer: Homotopy 1:27:35

François Métayer: Homotopy theory of strict omega-categories and its connections with...Part 1

Homotopy finiteness of 0:39:03

Homotopy finiteness of derived categories of coherent D-modules (Alexander Efimov)

Homotopy II: Homotopy 1:56:24

Homotopy II: Homotopy category, left and right homotopies (3/12)

Homotopy II: Explicit 2:05:06

Homotopy II: Explicit description of the homotopy category of a model category (4/12)

Jim Stasheff | 1:01:56

Jim Stasheff | Higher holonomy and representations up to homotopy

Stable Homotopy Seminar, 1:02:46

Stable Homotopy Seminar, 1: Introduction and Motivation

Patrick Elliot - 0:25:19

Patrick Elliot - Homotopy Coherent Cyclic Operads • CaCS22

Ling Zhou (1/21/22): 0:59:35

Ling Zhou (1/21/22): Persistent homotopy groups of metric spaces

François Métayer: Homotopy 1:22:20

François Métayer: Homotopy theory of strict omega-categories and its connections with...Part 3

Emily Riehl: On 1:40:58

Emily Riehl: On the ∞-topos semantics of homotopy type theory: All ∞-toposes have... - Lecture 3

Rune Haugseng - 1:26:02

Rune Haugseng - Homotopy-coherent distributivity and the universal property of bispans

Homotopy algebras A(∞), 1:20:47

Homotopy algebras A(∞), C(∞), B(∞), hGa -- Tornike Kadeishvili (Tbilisi) PHK 22.11.2023

Stable Homotopy Seminar, 1:01:20

Stable Homotopy Seminar, 14: The stable infinity-category of spectra