Författare
Egbert Rijke
Egbert Rijke är en uppskattad författare inom Naturvetenskap och teknik med totalt 1 bok tillgängliga på Bokkollen.
Bland verken finns Introduction to Homotopy Type Theory, som toppar listan över Egbert Rijkes populäraste böcker. Verken spänner över naturvetenskap & teknik och tilltalar läsare som uppskattar genren.
På Bokkollen gör vi det enkelt att navigera i Egbert Rijkes författarskap. Vår databas uppdateras ständigt med nya släpp och format, så oavsett om du söker efter en lättläst pocket för semestern, en lyxig inbunden presentutgåva eller en digital ljudbok för pendlingen, har vi rätt utgåva för dig.
Jämför snabbt och smidigt priser på alla böcker av Egbert Rijke hos Sveriges ledande bokhandlare – som Adlibris, Bokus och Akademibokhandeln – och hitta alltid det bästa erbjudandet utan att betala för mycket.
Introduction to Homotopy Type Theory
This up-to-date introduction to type theory and homotopy type theory will be essential reading for advanced undergraduate and graduate students interested in the foundations and formalization of mathematics. The book begins with a thorough and self-contained introduction to dependent type theory. No prior knowledge of type theory is required. The second part gradually introduces the key concepts of homotopy type theory: equivalences, the fundamental theorem of identity types, truncation levels, and the univalence axiom. This prepares the reader to study a variety of subjects from a univalent point of view, including sets, groups, combinatorics, and well-founded trees. The final part introduces the idea of higher inductive type by discussing the circle and its universal cover. Each part is structured into bite-size chapters, each the length of a lecture, and over 200 exercises provide ample practice material.
Hela bibliografin
Utforska alla Egbert Rijkes publicerade verk sorterade efter popularitet.
Upptäck liknande författare
Om du gillar Egbert Rijke kommer du förmodligen att uppskatta även dessa författare inom naturvetenskap & teknik.