* Homotopy Type Theory LectHomotopy Type Theory Lecta></div></li><li><div Class= (updated 2024-11-30) ~ youtor.org
Www.youtor.org Youtor


Search Videos By URL

Homotopy Type Theory LectHomotopy Type Theory Lecta>

  • Category Theory III 12 Overview part 2 [upl. by Aicnorev252]
    Duration: 28:12
    4.3K views | 23 Jul 2018
    Homotopy type [upl. by Hollinger]
    Duration: 45:28
    23 views | 5 months ago
    Chromatic homotopy theory Jacob Lurie [upl. by Iarahs]
    Duration: 49:00
    5.9K views | 16 Aug 2022
    Stable homotopy theory [upl. by Remot]
    Duration: 2:48:40
    136 views | 3 weeks ago
    Univalent Double Categories Nima Rasekh [upl. by Sivrahc]
    Duration: 30:41
    31 views | 7 months ago
    ECI 2021 Course M2 Introduction to Homotopy Type Theory D5P2 [upl. by Greenlee]
    Duration: 2:02:01
    42 views | 5 Aug 2021
    Stable homotopy theory [upl. by Strohl]
    Duration: 3:21:54
    159 views | 1 month ago
    Formal Groups via Unipotent Homotopy Theory Shubhodip Mondal [upl. by Eelrahs]
    Duration: 19:42
    2.9K views | 15 Sep 2013
    PSYCHUNIT1PERSONALITYTHEORIES [upl. by Imnubulo]
    Duration: 1:02:09
    1.5K views | 9 Oct 2021
    the cartesian product type theory vs set theory [upl. by Gwendolyn]
    Duration: 7:53
    10.9K views | 19 May 2014
    Thorsten Altenkirch 12 Towards a Syntax for Cubical Type Theory [upl. by Dora]
    Duration: 1:17:33
    62 views | 7 months ago
    A Sampling of Synthetic 1Category Theory Jacob Neumann [upl. by Atniuq]
    Duration: 31:10
    529 views | 4 months ago
    Motivic Homotopy whats up with that Michael Hopkins [upl. by Eentruoc487]
    Duration: 59:24
    731 views | 7 Feb 2019
    Nima Rasekh Algebraic topology in an elementary higher topos [upl. by Evelin]
    Duration: 1:26:13
    3.5K views | 19 Nov 2014
    Dan Licata Cubical infinitedimensional type theory [upl. by Nilreb881]
    Duration: 1:05:39
    212 views | 5 days ago
    Floer homotopy as a bordism theory – Mohammed Abouzaid [upl. by Akkin]
    Duration: 1:06:51
    861 views | 19 Nov 2014
    Neil Strickland Proof assistants as a routine tool [upl. by Yacov]
    Duration: 52:24
    1.7K views | 8 Dec 2013
    Type Theory Foundations Lecture 6 [upl. by Adnilre]
    Duration: 1:14:16
    4.6K views | 8 Dec 2013
    Type Theory Foundations Lecture 3 [upl. by Krigsman]
    Duration: 1:18:11
    2.8K views | 2 Apr 2021
    Tashi Walde An axiomatization of synthetic category theory [upl. by Ric13]
    Duration: 1:19:35
    1K views | 29 Apr 2015
    Homotopy Meaning [upl. by Latvina532]
    Duration: 0:38
    1.6K views | 8 Oct 2017
    Vladimir Voevodsky Introduction to homotopy theory I [upl. by Aicelet]
    Duration: 1:01:27
    1K views | 24 May 2011





    Our site allows you to download your favorite videos in MP3 (audio) or MP4 (video) format in the most efficient way. You can find your favorite videos using "search" to download them.


    New on site
    • Content Report
    youtor.org / Youtor Videos converter © 2024