Author: nLab edit announcer Format: MarkdownItexspelt out parameter identity, composition identity and double dagger identity. Doing it with the N-category notation since it's more concise.
Si Suo
<a href="https://ncatlab.org/nlab/revision/diff/iteration+theory/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/iteration+theory/2">v2</a>, <a href="https://ncatlab.org/nlab/show/iteration+theory">current</a>
spelt out parameter identity, composition identity and double dagger identity. Doing it with the N-category notation since it’s more concise.