Anders Mortberg: "Cubical Methods in Homotopy Type Theory and Univalent Foundations"

Anders Mortberg: "Cubical Methods in Homotopy Type Theory and Univalent Foundations"

Share:

Similar Tracks

Pawel Sobocinski: "Algebraic theories with string diagrams" Topos Institute

[Berkeley Seminar] Kevin Carlson | Does it matter whether there are infinite sets? Topos Institute

Kristine Bauer: "Distillation systems as models of homotopy colimits" Topos Institute

Lecture 1: Introduction to Power Electronics MIT OpenCourseWare

Harvard Professor Explains Algorithms in 5 Levels of Difficulty | WIRED WIRED

Samson Abramsky: "Duality for complete atomic partial Boolean algebras" Topos Institute

Schubert: Symphony No. 8 Unfinished | Iván Fischer & Budapest Festival Orchestra DW Classical Music

Amar Hadzihasanovic: "Combinatorial foundation for planar string diagrams" Topos Institute

[Oxford Seminar] Owen Lynch | Element Model Type Theory Topos Institute

Transformers (how LLMs work) explained visually | DL5 3Blue1Brown

Logika (2024-25): Predavanje 11 Alex Simpson

[Oxford Seminar] Ray Pedersen | Everettian QM and the problem of ontological extravagance Topos Institute

Estimate-Then-Optimize verses Integrated-Estimation-Optimization versus Sample Average Approximation Stochastic Programming Society

[Oxford Seminar] Matthew Daggit | Developing support for end-to-end verification of neural AI agents Topos Institute

Juergen Jöst: "Geometric principles of data visualization" Topos Institute

[Berkeley Seminar] Kris Brown | Incremental homomorphism search Topos Institute

Classic 90's-2000's RnB Music Ever ~ 2000's R&BSoul Playlist 🎶 Beyonce, Rihanna, Ne Yo, Usher Peaceful Rhythms

Understanding GD&T The Efficient Engineer

The Isogeny Club #6.5 Unpredictability Assumptions, and Applying Generic Proof Systems to Isogenies The Isogeny Club