Denne boken gir en systematisk fremstilling av både logikk og typeteori fra et kategorisk perspektiv, med fokus på det samordnende konseptet av fibrede kategorier. Den er rettet mot logikere, typeteoretikere, kategoriteoretikere og (teoretiske) datavitere, og den søker å bygge bro mellom ulike fagområder innenfor matematikk og datavitenskap. Gjennom dypere innsikt i kategorisk logikk og teorier om typetilordning, tilbyr boken en verdifull ressurs for de som ønsker å forstå de underliggende strukturene i moderne logikk og programmeringsspråk.
