Author: Urs Format: MarkdownItexFinally noticed that this entry here was a stub without TOC, without references and without cross-links. Have touched it a little.
<a href="https://ncatlab.org/nlab/revision/diff/groupoid+object/4">diff</a>, <a href="https://ncatlab.org/nlab/revision/groupoid+object/4">v4</a>, <a href="https://ncatlab.org/nlab/show/groupoid+object">current</a>
Finally noticed that this entry here was a stub without TOC, without references and without cross-links. Have touched it a little.