MyWikiBiz, Author Your Legacy — Saturday May 04, 2024
Jump to navigationJump to search
8 bytes added
, 13:02, 27 March 2009
Line 2,291: |
Line 2,291: |
| | | | | |
| <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). |
| |} | | |} |