Cho C là một phạm trù bất kỳ. Một cấu xạ f đi từ A tới B được gọi là:
1. Có nghịch đảo trái nếu có cấu xạ g từ B tới A sao cho gf bằng cấu xạ đồng nhất của A.
2. Có nghịch đảo phải nếu fg bằng cấu xạ đồng nhất của B.
3. Đẳng xạ nếu f có nghịch đảo trái và nghịch đảo phải.
4. Đơn xạ nếu f giản ước trái được, nghĩa là fg=fh thì g=h.
5. Toàn xạ nếu f giản ước phải được, nghĩa là gf=hf thì gh.
6. Song xạ nếu f vừa là đơn xạ, vừa là toàn xạ.
Phát biểu: "Mọi đẳng xạ đều là song xạ, nhưng một song xạ không nhất thiết là đẳng xạ"
Mọi người cho mình xin ví dụ cho vế sau với, mình tìm nhiều nguồn rồi mà không thấy. Cảm ơn mọi người rất nhiều ạ.