12,089
edits
Changes
Directory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 13:02, 27 March 2009
, 13:02, 27 March 2009→Category: spacing
|
|
<p>A ''category'' is a deductive system in which the following equations hold, for all <math>f : A \to B,</math> <math>g : B \to C,</math> and <math>h : C \to D.</math></p>
<p>A ''category'' is a deductive system in which the following equations hold, for all <math>f : A \to B,</math> <math>g : B \to C,</math> and <math>h : C \to D.</math></p>
|-
|
::<p><math>f 1_A = f = 1_B f, \quad (hg)f = h(gf).</math></p>
::<p><math>f 1_A = f = 1_B f, \quad (hg)f = h(gf).</math></p>
|-
|
<p>(Lambek & Scott, 5).
<p>(Lambek & Scott, 5).
|}
|}