Θεωρία κατηγοριών - Άλλες γλώσσες