משפט הקטגוריה של בייר – שפות אחרות