אוניברסליות (תורת הקטגוריות) – שפות אחרות