Author: Urs Format: MarkdownItexadded the `category:people` tag to the source code
<a href="https://ncatlab.org/nlab/revision/diff/Shaul+Barkan/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/Shaul+Barkan/2">v2</a>, <a href="https://ncatlab.org/nlab/show/Shaul+Barkan">current</a>