Author: Urs Format: MarkdownItexDiscovered this old stub entry. Added some missing cross-links and adjusted the wording slightly.
<a href="https://ncatlab.org/nlab/revision/diff/free+completion/4">diff</a>, <a href="https://ncatlab.org/nlab/revision/free+completion/4">v4</a>, <a href="https://ncatlab.org/nlab/show/free+completion">current</a>
Discovered this old stub entry. Added some missing cross-links and adjusted the wording slightly.
Author: Dmitri Pavlov Format: MarkdownItexClarified the idea by stating more explicitly how the opposite category construction is applied.
<a href="https://ncatlab.org/nlab/revision/diff/free+completion/7">diff</a>, <a href="https://ncatlab.org/nlab/revision/free+completion/7">v7</a>, <a href="https://ncatlab.org/nlab/show/free+completion">current</a>
Clarified the idea by stating more explicitly how the opposite category construction is applied.