Author: Urs Format: MarkdownItexadded pointer to:
* [[Bart Jacobs]], p. 122 in: *Categorical Logic and Type Theory*, Studies in Logic and the Foundations of Mathematics **141**, Elsevier (1998) [[ISBN:978-0-444-50170-7](https://www.sciencedirect.com/bookseries/studies-in-logic-and-the-foundations-of-mathematics/vol/141), [pdf](https://people.mpi-sws.org/~dreyer/courses/catlogic/jacobs.pdf)]
<a href="https://ncatlab.org/nlab/revision/diff/exchange+rule/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/exchange+rule/3">v3</a>, <a href="https://ncatlab.org/nlab/show/exchange+rule">current</a>
added pointer to:
Bart Jacobs, p. 122 in: Categorical Logic and Type Theory, Studies in Logic and the Foundations of Mathematics 141, Elsevier (1998) [ISBN:978-0-444-50170-7, pdf]