Author: varkor Format: MarkdownItexReplaced terminology "bidual", which is non-standard (and which already has other meanings).
<a href="https://ncatlab.org/nlab/revision/diff/opposite+2-category/9">diff</a>, <a href="https://ncatlab.org/nlab/revision/opposite+2-category/9">v9</a>, <a href="https://ncatlab.org/nlab/show/opposite+2-category">current</a>
Replaced terminology “bidual”, which is non-standard (and which already has other meanings).