index.rst

What I Wish I Knew When Learning HoTT

Auke Booij

This document intends to refer to concepts one may not be aware of on a first reading of the HoTT book, and intends to give a crude, possibly unhelpful intuition for them.

Thanks for additional input from Sina Hazratapour, Manfred Kerber, Ulrik Buchholtz and Andrej Bauer.

.. toctree::
   :maxdepth: 2

   faq
   terminology
   proof-assistants
   category
   semantics
   proof
   variants
   features
   glossary

Changelog

0.1

first release (?)

Biblography

.. bibliography:: refs.bib
   :all: