Youtor
Topos Institute (updated 2024-11-20)
![Applied Category Theory Chapter 1 lecture 1 Spivak [upl. by Vento]](img.php?img=imgidUusLtx9fIjs)
![Brendan Fong quotWelcome to Toposquot [upl. by Zetnod]](img.php?img=imgidLT1CqJxmxco)
![Jeremy Avigad quotFormal mathematics dependent type theory and the Topos Institutequot [upl. by Claudelle]](img.php?img=imgidKpa8cCUZLms)
Duration: 1:01:15
2.6K views | 5 Nov 2021
2.6K views | 5 Nov 2021
![Evan Patterson quotA Short Introduction to Categorical Logicquot [upl. by Natka]](img.php?img=imgid-_Yg-A8_lIY)
Duration: 23:00
5.6K views | 28 May 2021
5.6K views | 28 May 2021
![André Joyal quotHigher topos theory and Goodwillie Calculusquot [upl. by Aleac]](img.php?img=imgidAAUWJ7NHJGk)
Duration: 1:14:11
996 views | 11 months ago
996 views | 11 months ago
![David Corfield quotPhilosophical perspectives on category theoryquot [upl. by Kinghorn]](img.php?img=imgidYsWnfr47ViE)
Duration: 1:01:30
7.5K views | 10 Mar 2023
7.5K views | 10 Mar 2023
![Michael Levin quotEmergent Selves and Unconventional Intelligencesquot [upl. by Mou945]](img.php?img=imgid4CMh-9bAL4s)
Duration: 1:27:10
5.7K views | 22 Sep 2023
5.7K views | 22 Sep 2023
![John Baez quotMathematics in the 21st centuryquot [upl. by Dafna601]](img.php?img=imgidlUqqQXFTHUY)
![Riehl Bradley Cheng Dancstep and Lugg quotCategory theory outreach panelquot [upl. by Methuselah]](img.php?img=imgidjJj3psZsGTk)
Duration: 1:40:10
5.6K views | 17 Mar 2023
5.6K views | 17 Mar 2023
![Tom Leinster quotEntropy and diversity the axiomatic approachquot [upl. by Inoj]](img.php?img=imgidy_FfWMJMH0Q)
Duration: 1:09:26
1.5K views | 27 Oct 2023
1.5K views | 27 Oct 2023
![Leonardo de Moura quotLean 4 Empowering the Formal Mathematics Revolution and Beyondquot [upl. by Ashil889]](img.php?img=imgidrDe0nIHINXs)
Duration: 1:18:06
3.9K views | 8 Sep 2023
3.9K views | 8 Sep 2023
![Kris Brown Scientific and software engineering examples of applied category theory [upl. by Amanda32]](img.php?img=imgidz6N-eP7wSeE)
Duration: 55:00
2.8K views | 5 Jun 2023
2.8K views | 5 Jun 2023
![Emily Riehl quotContractibility as uniquenessquot [upl. by Eiramanna726]](img.php?img=imgidVdxdQiucJe8)
![Jonathan Gorard quotFast Diagrammatic Reasoning and Compositional Approaches to Fundamental Physicsquot [upl. by Ordnael]](img.php?img=imgidF7ax0L1c2g0)
Duration: 1:18:00
3.8K views | 30 Apr 2021
3.8K views | 30 Apr 2021
![Applied Category Theory Chapter 2 lecture 1 Spivak [upl. by Aymahs]](img.php?img=imgidCf3tsAeGhBg)
![Michael Shulman quotTwodimensional semantics of homotopy type theoryquot [upl. by Haidabez]](img.php?img=imgid0uzk-hIuwXA)
Duration: 1:19:41
2.2K views | 28 May 2021
2.2K views | 28 May 2021
![Andrej Bauer quotThe countable realsquot [upl. by Tonneson13]](img.php?img=imgid4CBFUojXoq4)
![What is category theory [upl. by Roderick676]](img.php?img=imgideXBwU9ieLL0)
![Applied Category Theory Chapter 1 lecture 2 Fong [upl. by Sedaiuqlem354]](img.php?img=imgid2BYl7NgHjvc)
![Kevin Buzzard quotWhat is the point of Leans maths libraryquot [upl. by Thorncombe]](img.php?img=imgidalByz_LoANE)
Duration: 1:16:05
4.1K views | 13 Aug 2021
4.1K views | 13 Aug 2021
![Juan Pablo Vigneaux quotCohomological aspects of informationquot [upl. by Aliwt318]](img.php?img=imgidNzx9MotxEas)
Duration: 1:20:31
1K views | 9 months ago
1K views | 9 months ago
![Tobias Fritz Information flow with Markov categories [upl. by Dibrin]](img.php?img=imgidxSNqaPTduks)
![Elaine Landry quotAs If Category Theory were a Foundationquot [upl. by Liggett210]](img.php?img=imgidXRKHSlFvq4Q)
Duration: 1:20:14
1.5K views | 30 May 2023
1.5K views | 30 May 2023
![Simon Willerton quotMetric spaces entropic spaces and convexityquot [upl. by Burleigh]](img.php?img=imgidF6nLxMC8Yds)
Duration: 59:21
1.6K views | 31 Mar 2023
1.6K views | 31 Mar 2023
![Evan Patterson Realizing Applied Category Theory in Julia [upl. by Ilrebmyk]](img.php?img=imgid7dmrDYQh4rc)
Duration: 1:02:48
5.4K views | 17 Jan 2020
5.4K views | 17 Jan 2020
![Pawel Sobocinski quotAlgebraic theories with string diagramsquot [upl. by Ylil]](img.php?img=imgidrt0a84vzYrc)
Duration: 1:07:31
1.4K views | 1 Oct 2021
1.4K views | 1 Oct 2021
![Tutorial on Category Theory Part 2 – Applied [upl. by Afital874]](img.php?img=imgideIjPxaFbEeg)
![Paul Dancstep The Universal Library A novel approach to teaching category theory [upl. by Eillo]](img.php?img=imgidhNRETzXkE5M)
Duration: 1:01:53
13.9K views | 23 Jul 2021
13.9K views | 23 Jul 2021
![Alex Simpson quotThree toposes for probability and randomnessquot [upl. by Fae]](img.php?img=imgidY1RkPhwJ0Mo)
Duration: 59:41
862 views | 5 months ago
862 views | 5 months ago
![Spencer Breiner quotPolynomial Interfacesquot [upl. by Asilla]](img.php?img=imgidJmh8nXwmm2U)
