12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday May 04, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 03:14, 27 March 2009
, 03:14, 27 March 2009→Category: markup
===Category===
===Category===
<pre>
{| align="center" cellpadding="8" width="90%" <!--QUOTE-->
|
|
<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>
</pre>
<p>(Lambek & Scott, 5).
===Functor===
===Functor===
