Enriched Homotopy Coherent Structures

preview_player
Показать описание
Dr. Rune Haugseng
Norwegian University of Science and Technology (NTNU))
  1. MSRI / SLMath
Рекомендации по теме
Enriched Homotopy Coherent 1:41:24

Enriched Homotopy Coherent Structures

Homotopy coherence — 0:47:10

Homotopy coherence — past and future

Giuseppe Leoncini, Enriched 0:31:23

Giuseppe Leoncini, Enriched Homotopy Cocompletions

Rune Haugseng - 1:26:02

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

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

Emily Riehl: On 1:40:58

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

Stable Homotopy Seminar, 1:01:20

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

Rasekh - Fibrations 0:10:01

Rasekh - Fibrations of (oo,n)-Categories

Emily Riehl: On 1:21:56

Emily Riehl: On the ∞-topos semantics of homotopy type theory: The simplicial model of...- Lecture 2...

The Homotopy Theory 1:55:16

The Homotopy Theory of Stratified Spaces

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

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

Julie Rasmusen - 0:52:30

Julie Rasmusen - Overview of enriched infinity-categories

Stable Homotopy Seminar, 1:07:55

Stable Homotopy Seminar, 13: The Smash Product

Foundations of Higher 0:23:32

Foundations of Higher Category Theory (HTT 1.1)

Thomas Nikolaus : 1:04:02

Thomas Nikolaus : Equivariant homotopy theory for infinite groups and THH with coefficients

BilTop | Rune 1:14:14

BilTop | Rune Haugseng | Higher Morita categories

Lean Together 2025: 0:24:54

Lean Together 2025: Emily Riehl, The ∞-cosmos project: formalizing 1-, 2-, V-, and ∞-category theory...

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

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

Global homotopy theory 1:21:09

Global homotopy theory / Lecture 11: The global model structure

Mike Shulman Type-theoretic 1:06:24

Mike Shulman Type-theoretic model toposes

Andrew J. Blumberg: 1:00:30

Andrew J. Blumberg: 'Abstract homotopy theory for topological data analysis'

Emily Riehl, The 1:25:43

Emily Riehl, The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories

BilTop | Igor 1:34:13

BilTop | Igor Sikora | Simplicial categories