Author: Urs Format: MarkdownItexthe colloquial referencing ("Dan's construction", etc.) should be replaced by something more informative. Readers here don't know which Dan is meant.
[ software glitch: the message ought to have appeared in the existing thread [here](https://nforum.ncatlab.org/discussion/14561/homotopy-theory-in-homotopy-type-theory-references/?Focus=99764#Comment_99764) -- not sure what happened ]
<a href="https://ncatlab.org/nlab/revision/homotopy+theory+in+homotopy+type+theory+--+references/1">v1</a>, <a href="https://ncatlab.org/nlab/show/homotopy+theory+in+homotopy+type+theory+--+references">current</a>
the colloquial referencing (“Dan’s construction”, etc.) should be replaced by something more informative. Readers here don’t know which Dan is meant.
[ software glitch: the message ought to have appeared in the existing thread here – not sure what happened ]