Author: Urs Format: MarkdownItexfinally fixed the typo in the name :-/
<a href="https://ncatlab.org/nlab/revision/diff/James+McClure/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/James+McClure/2">v2</a>, <a href="https://ncatlab.org/nlab/show/James+McClure">current</a>