Abstraktna matematika z denarjem ameriškega letalstva

    Steve Awodey s Carnegie Mellon U. je prejel 7.5 milijonov vreden petletni projekt financiran s strani ameriškega obrambnega ministrstva za raziskave v teoriji homotopskih tipov (upam, da sem pravilno slovenil Homotopy Type Theory). Za ta blog je morda najbolj zanimiv naslednji stavek in izjave za javnost na strani CMU

    The team also will collaborate with researchers at MIT and in Slovenia, Sweden and the United Kingdom.

    Predvidevam, da gre v primeru Slovenije za Andreja Bauerja s FMF, Univerze v Ljubljani.