giuseppe rosolini: quotient completions and applications
Published 6 years ago • 96 plays • Length 47:38Download video MP4
Download video MP3
Similar videos
-
1:05:11
giuseppe rosolini: "when an elementary quotient completion is a quasitopos"
-
30:01
giuseppe rosolini: triposes and gödel's dialectica interpretation
-
19:54
giuseppe rosolini: categorical completions in constructive mathematics
-
45:54
fabio pasquali: assemblies as an elementary quotient completion
-
1:01:33
giuseppe rosolini: equality is coalgebraic
-
18:16
who cares about topology? (inscribed rectangle problem)
-
1:43:33
andré joyal --- homotopy type theory: a new bridge between logic, category theory and topology.b
-
1:12:59
maria emilia maietti, a comparison between the minimalist foundation and homotopy type theory
-
1:13:50
fastest identification in linear systems, joint work with yassir jedra
-
26:18
equivariant fundamental classes in ro(c2)-graded cohomology, christy hazel
-
1:12:11
alexandru suciu - dwyer-fried invariants
-
41:35
lorenzo rosasco: interpolation and learning with scale dependent kernels
-
17:34
exact time-dependent solution to the euler-helmholtz and riemann-hopf equations