Constructive Type Theory and Homotopy - Steve Awodey

Поділитися
Вставка
  • Опубліковано 21 гру 2024

КОМЕНТАРІ • 3

  • @JosiahWarren
    @JosiahWarren 2 роки тому +2

    i hand paid attention to the fact that formation-introduction and computaiton rules araises from week factorization. That was beautiful

  • @imrematajz1624
    @imrematajz1624 3 роки тому +1

    It is like watching the 7 bridges of Konigsberg being built in real time between these various spaces and abstracrt notions. Beautifully presented!

  • @snakeegg2102
    @snakeegg2102 Рік тому +2

    Great talk, really helped me contextualize stuff I learned in a programming language design class a while back. I just wish that one guy wasn't interrupting him every 2 minutes though. Let the man reach his point before questioning if he has one