Một tính chất P của một vật A trong phạm trù C gọi là bất biến nếu như mọi vật đẳng cấu với nó đều có tính chất P.

Như vậy, khi phân loại các vật, nếu vật A có tính chất P còn vật B không có tính chất P ta biết ngay vật B không cùng kiểu với vật A. Việc tìm và nghiên cứu các bất biến trong một phạm trù cụ thể là một việc làm rất cơ bản trong toán học.

Một tính chất P của một vật A trong phạm trù C gọi là bất biến nếu như mọi vật đẳng cấu với nó đều có tính chất P.

Như vậy, khi phân loại các vật, nếu vật A có tính chất P còn vật B không có tính chất P ta biết ngay vật B không cùng kiểu với vật A. Việc tìm và nghiên cứu các bất biến trong một phạm trù cụ thể là một việc làm rất cơ bản trong toán học.