 Definition (Lambek): A category is a deductive system in which the following equations hold between proofs: for all \(\boldsymbol{f}: X \rightarrow Y, \boldsymbol{g}: Y \rightarrow Z\) and \(\boldsymbol{h}: Z \rightarrow W\),