search

HoTT / book

A textbook on informal homotopy type theory
2k stars 355 forks source link

Prerequisites #336

Open mikeshulman opened 11 years ago

mikeshulman commented 11 years ago

I've had two questions so far about the prerequisites / expected background to read the book. Do we address this anywhere in the book?

rpglover64 commented 11 years ago

I think the closest the book comes is in the introduction:

The present book is intended as a first systematic exposition of the basics of univalent foundations, and a collection of examples of this new style of reasoning but without requiring the reader to know or learn any formal logic, or to use any computer proof assistant.