3 ms·
Yes, from the abstract: > The book is entirely self-contained, and in particular no prior familiarity with type theory or homotopy theory is assumed.
by turminal 4y ago
Yes, from the abstract:
> The book is entirely self-contained, and in particular no prior familiarity with type theory or homotopy theory is assumed.