philipp joram, final coalgebras of analytic functors in homotopy type theory
Published 1 year ago • 275 plays • Length 23:42Download video MP4
Download video MP3
Similar videos
-
10:40
homotopy type theory:univalent foundations of mathematics (univalent foundations program)
-
1:00:59
lie algebras and homotopy theory - jacob lurie
-
55:54
the mathematical work of vladimir voevodsky - dan grayson
-
1:17:33
thorsten altenkirch - 1/2 towards a syntax for cubical type theory
-
18:33
homotopy type
-
1:43:54
cohomology in homotopy type theory - eric finster
-
44:02
ben spitz (virginia) on "algebraically closed tambara functors"
-
59:26
anders mörtberg, unifying cubical models of homotopy type theory
-
1:00:35
3 01 a functional programmer's guide to homotopy type theory
-
5:53
homotopy type theory: vladimir voevodsky - computerphile
-
1:04:04
gregory arone: calculus of functors and homotopy theory (lecture 1)
-
1:35:12
higher algebra 6: derived functors
-
1:24:16
martin escardó, constructive mathematics in univalent type theory
-
9:58
introduction to homotopy theory: part 7- small object, retract arguments
-
![three for one: homotopy interpretation [intro to hott, no. 1, part 2]](https://i.ytimg.com/vi/XUYPU9LjGKM/mqdefault.jpg)
11:54
three for one: homotopy interpretation [intro to hott, no. 1, part 2]