Author: DavidRoberts Format: MarkdownItexI added the iterated codiagonal, changed the notation for the copairing from $(Id,Id)$ to $[Id,Id]$, to distinguish it from the diagonal (and following the notation at [[copairing]]), and linked to [[copairing]].
<a href="https://ncatlab.org/nlab/revision/diff/codiagonal/8">diff</a>, <a href="https://ncatlab.org/nlab/revision/codiagonal/8">v8</a>, <a href="https://ncatlab.org/nlab/show/codiagonal">current</a>
I added the iterated codiagonal, changed the notation for the copairing from to , to distinguish it from the diagonal (and following the notation at copairing), and linked to copairing.