12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday May 05, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 21:28, 26 March 2009
, 21:28, 26 March 2009→Graph: markup
</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>
