Changes

</pre><br>

</pre><br>

<p>One writes <math>^{\backprime} f : A \to B \, ^{\prime}</math> for <math>^{\backprime} \operatorname{source}~ f = A</math> and <math>\operatorname{target}~ f = B \, ^{\prime}.</math>  A graph is said to be ''small'' if the classes of objects and arrows are sets.</p>

<p>One writes <math>^{\backprime\backprime} f : A \to B \, ^{\prime\prime}</math> for <math>^{\backprime\backprime} \operatorname{source}\ f = A ~\operatorname{and}~ \operatorname{target}\ f = B \, ^{\prime\prime}.</math>  A graph is said to be ''small'' if the classes of objects and arrows are sets.</p>

<p>(Lambek & Scott, 5).</p>

<p>(Lambek & Scott, 5).</p>