Sökning: "Univalent Foundations"

Hittade 1 avhandling innehållade orden Univalent Foundations.

  1. 1. A Model of Type Theory in Cubical Sets

    Författare :Simon Huber; Göteborgs universitet; Göteborgs universitet; Gothenburg University; []
    Nyckelord :NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; NATURAL SCIENCES; Models of dependent type theory; cubical sets; Univalent Foundations;

    Sammanfattning : The intensional identity type is one if the most intricate concepts of dependent type theory. The recently discovered connection between homotopy theory and type theory gives a novel perspective on the identity type. LÄS MER