Teorie kategorií – Další jazyky