• ID
  • EN

    • Youtop Video Search



    / /

    Title:David Jaz Myers Homotopy type theory for doing category theory
    Duration:04:01
    Viewed:
    Published:
    Source:Youtube

    SHARE TO YOUR FRIENDS


    Download Server 1


    DOWNLOAD MP4

    Download Server 2


    DOWNLOAD MP4

    Alternative Download :



    SPONSORED
    RELATED VIDEOS

    David Jaz Myers: A general definition of open dynamical system David Jaz Myers: A general definition of open d...
    58:55 - 2,691
    David Jaz Myers: David Jaz Myers: "A synthetic approach to orbif...
    59:50 - 1,210
    David Jaz Myers: The Para Construction as a Distributive Law David Jaz Myers: The Para Construction as a Dis...
    02:26 - 244
    David Jaz Myers: Open dynamical systems, trajectories and hierarchical planning David Jaz Myers: Open dynamical systems, trajec...
    02:19 - 1,313
    David Jaz Myers: Paradigms of composition David Jaz Myers: Paradigms of composition
    06:53 - 1,763
    David Jaz Myers - Degrees, Dimensions, and Crispness David Jaz Myers - Degrees, Dimensions, and Cris...
    42:41 - 142
    David Jaz Myers: Homotopy type theory for doing category theory David Jaz Myers: Homotopy type theory for doing...
    04:01 - 6,729
    David Jaz Myers, Higher Schreier theory David Jaz Myers, Higher Schreier theory
    03:58 - 381