Това актуализирано въведение в теорията на типовете и теорията на хомотопичните типове ще бъде задължително четиво за напреднали бакалаври и магистърски студенти, интересуващи се от основите и формализацията на математиката.

Книгата започва с подробен и самостоятелен увод в теорията на зависимите типове. Не се изисква предварителни знания по теория на типовете.

Втората част постепенно въвежда основните понятия на хомотопичната теория на типовете: равенства, фундаменталната теорема за типовете на идентичност, нива на изрязване и аксиомата за сдружаване. Това подготвя читателя за изучаването на различни теми от обединена перспектива, включително множества, групи, комбинации и добре основани дървета.

Последната част въвежда идеята за висшия индуктивен тип, разглеждайки цикъла и неговото универсално покритие. Всяка секция е структурирана в малки глави, всяка с дължината на лекция, а над 200 упражнения предоставят изобилие от материал за практика.

Страници: 386