Hi Egbert,
nice to see your notes now available in a stably referenceable way!
They could fill quite a few gaps that the existing textbook literature
leaves open.
On that note, it seems that a fair bit of material has been removed in
the arXiv version?
(Maybe to make room for large margins?)
For referencing on the nLab I now find myself pointing mainly to the
version of your notes from 2018 (these here:
https://www.andrew.cmu.edu/user/erijke/hott/hott_intro.pdf), which
have discussion for instance of homotopy pullbacks/pushouts that seem
to have later been dropped, together with much material depending on
these notions (if I am seeing this correctly ?)
I can imagine this is at least in large part the publisher's decision,
but just to say that if there is any wiggle room left, then I would
think it most worthwhile if these topics could make it into the final
book version.
All my best wishes for the New Year,
Urs
> --
> You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
HomotopyTypeThe...@googlegroups.com.
> To view this discussion on the web visit
https://groups.google.com/d/msgid/HomotopyTypeTheory/CAGqv1ODuH3xtsFyFEekjwNH4SUN%2BdU8B1te2ZLX%2BNZsQLeChxg%40mail.gmail.com.