"

 Kategorinen vs. kategorinen 

Vaikka SOM antaa nämä synonyymeiksi, Lambek selventää, että kategorinen viittaa kategoriateorian kategorioihin, kun taas kategoriaalinen viittaa ""kategorioihin"" puolalaisen logiikan koulukunnan merkityksessä eli tyyppiin tyyppiteoriasta. ping "