Aarne Ranta: Syntactic Categories in the Language of Mathematics. TYPES 1994: 162-182