Author: Urs Format: MarkdownItexAdded author, publisher and doi to the reference being quoted.
<a href="https://ncatlab.org/nlab/revision/diff/Robert+Gilmer/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/Robert+Gilmer/2">v2</a>, <a href="https://ncatlab.org/nlab/show/Robert+Gilmer">current</a>
Added author, publisher and doi to the reference being quoted.