filmov
tv
Introduction to Cubical Sets
Показать описание
Dr. Chris Kapulkin
University of Western Ontario
MSRI / SLMath
Рекомендации по теме
0:55:33
Introduction to Cubical Sets
1:23:43
Andrew Pitts, Axiomatizing cubical sets models of univalent foundations
0:29:03
Introduction to Cubical Type Theory (Part I)
0:26:35
Andrew Swan, Why cubical sets are different to simplicial sets
0:52:27
Model Structures for ∞-Groupoids and ∞-Categories on Cubical Sets
1:16:29
Discrete Homotopy Theory and Cubical Sets
0:16:59
Introduction to Cubical Type Theory (Part II) (revised on 4/6)
1:08:00
Chris Kapulkin: 'Cubical setting for Discrete Homotopy Theory'
1:16:25
Andrew Swan, Double negation stable h-propositions in cubical sets
0:51:47
Brandon Doherty, Cubical models of (∞,1)-categories
0:51:39
Necklaces and Cubical Categories
1:13:13
Andrew Swan, Choice, collection and covering in cubical sets
1:02:24
Brandon Doherty: Cubical models of higher categories without connections
1:41:56
Cubical Models of ∞,1 Categories
1:05:50
Yuki Maehara, A cubical model for weak ω-categories
0:56:10
Daniel Carranza: Cubical Setting for Discrete Homotopy Theory
0:01:58
Uncovering the Topology of Time-Varying fMRI Data using Cubical Persistence
0:15:19
✅ Cubical Sets || Method to find if perfect cube root of a*b exists ✅
0:47:36
Krzysztof Ziemianski: Directed paths on cubical complexes
1:04:05
Amélia Liao: 'Cubical types for the working formalizer'
0:09:41
Martins introduction to Cubical to Camper Van...
0:59:26
Anders Mörtberg, Unifying cubical models of homotopy type theory
1:00:57
Christian Sattler: Do cubical models of type theory also model homotopy types
0:01:17
Computer Science: Cubical type theory for dummies?