משפט הקטגוריה של בייר