Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. The main focus of this textbook is on dependent type theory and its recent variant homotopy type theory.
Vi er Nordens største nettbokhandel, og tilbyr over 13 millioner boktitler og det meste av det beste innen spill, leker, hobby og garn. Vår misjon er å være en moderne bokhandel for alle bokelskere: et innbydende sted for lesing, læring og skaping. Det er hva som driver oss, hver dag. Adlibris er en del av Bonnier Group.
15% rabatt – for nye abonnenter! Meld deg på nyhetsbrevene våre og få 15% rabatt på det første kjøpet ditt! Du får også eksklusive lesetips, tilbud og kampanjer rett til e-postboksen din. Gjelder kun nye abonnenter og privatkunder. Rabatten gjelder ikke på nye, norske bøker i ett år fra utgivelsesdato, fag- og studielitteratur, digitale bøker og gavekort.
Gratis økonomifrakt for privatpersoner fra 299,-. Vi tilbyr levering til bemannet hentested, til pakkeboks, og hjemlevering direkte til postkassen eller på døren. Hvilke leveringsalternativer som er tilgjengelige for deg, ser du i kassen. Leveringstiden kan variere avhengig av leveringsmåte, adresse, og om bestillingen din inneholder produkter med lengre leveringstider. Den totale leveringstiden vises i kassen.
Du kan velge å betale med Apple Pay, kort (Visa eller Mastercard), eller via Klarna hvor du kan betale med Vipps, kort, direkteoverføring, faktura eller delbetaling. Ved å klikke på «Betal ordren» godkjenner du Kustoms og Adlibris’ generelle vilkår. Du kan se hvordan personopplysningene dine behandles i Adlibris’ personopplysningspolicy og i Kustoms personvernerklæring.
Forlenget åpentkjøp på julegaver til 31. januar 2026. Hos Adlibris har du alltid 14 dagers angrerett fra det tidspunktet du har mottatt varen/varene dine. Du betaler selv porto for frakten. Angreretten omfatter ikke nedlastningsbare produkter, siden disse leveres direkte. For mer informasjon om returer, tilbakebetaling og reklamasjon, les våre salgsbetingelser.