Description
Introduction to Homotopy Type Theory offers a systematic and accessible exploration of one of the most significant developments in contemporary mathematics. This volume, part of the prestigious Cambridge Studies in Advanced Mathematics series, bridges the gap between traditional type theory and modern homotopical mathematics.
Authored by Egbert Rijke, a leading researcher in the field, the book guides readers through the fundamental concepts and techniques of homotopy type theory (HoTT). It covers type constructors, function types, inductive types, and the univalence axiom, while emphasizing intuitive explanations alongside rigorous proofs. The text demonstrates how homotopy type theory unifies ideas from logic, algebra, topology, and computer science.
Ideal for graduate students and researchers in mathematics, logic, and theoretical computer science, this introduction provides both theoretical understanding and practical applications. The book builds progressively from basic principles to advanced topics, making it suitable for those new to the subject while remaining valuable for experienced mathematicians seeking a comprehensive reference.
Reviews
There are no reviews yet.