Applied Algebraic Topology Network
A Sheaf-Theoretic Construction of Shape Space
Sheaf-theoretic approach to construct shape space using Persistent Homology Transform. Explores homotopy sheaves, metrics, stability theorems, and approximation of manifolds.
YouTube53 minutesSelf-pacedFree video
Applied Algebraic Topology Network
Skeletonization Algorithms With Theoretical Guarantees for Point Clouds
Explore skeletonization algorithms for point clouds, including Mapper, alpha-Reeb graphs, and Homologically Persistent Skeleton. Compare their performance on synthetic and real data sets.
YouTube1 hour 1 minuteSelf-pacedFree video
ACM SIGPLAN
Taylor Expansion and Game Semantics - Exploring Isomorphisms in Lambda Calculus
Explore the isomorphism between Taylor expansion of λ-terms and pointer concurrent games interpretation, extending previous results on resource terms and game semantics.
YouTube18 minutesSelf-pacedFree video