ในทฤษฎีหมวดหมู่และการประยุกต์ใช้ในคณิตศาสตร์โมโนมอร์ฟิซึมปกติหรือเอพิโมร์ฟิซึมร่วมปกติคือมอร์ฟิซึม ประเภท หนึ่ง ที่มีพฤติกรรมดีเป็นพิเศษ หมวดหมู่ปกติ คือ หมวดหมู่ที่ โมโนมอร์ ฟิซึม ทุกตัวเป็นปกติหมวดหมู่ร่วมปกติคือ หมวดหมู่ที่เอพิโมร์ฟิซึม ทุกตัว เป็นร่วมปกติ

โมโนมอร์ฟิซึมเรียกว่าปกติถ้ามันเป็นเคอร์เนลของมอร์ฟิซึมบางตัว และเอพิโมร์ฟิซึมเรียกว่าโคนอร์มัลถ้ามันเป็นโคเคอร์เนลของมอร์ฟิซึมบางตัว

ประเภทCเรียกว่าbinormalหากเป็นทั้งปกติและ conormal แต่โปรดทราบว่าผู้เขียนบางคนจะใช้คำว่า "ปกติ" เพียงเพื่อระบุว่าCเป็น binormal เท่านั้น

ในหมวดหมู่ของกลุ่มฟังก์ชันเอกพันธุ์fจากHไปยังGจะเป็นฟังก์ชันเอกพันธุ์ปกติก็ต่อเมื่อภาพของฟังก์ชันเอกพันธุ์นั้นเป็นซับกรุ๊ปปกติของGโดยเฉพาะอย่างยิ่ง ถ้าHเป็นซับกรุ๊ปของ​​Gแล้วฟังก์ชันการรวมiจากHไปยังGจะเป็นฟังก์ชันเอกพันธุ์ และจะเป็นฟังก์ชันเอกพันธุ์ปกติก็ต่อเมื่อHเป็นซับกรุ๊ปปกติของGอันที่จริง นี่คือที่มาของคำว่า "ปกติ" สำหรับฟังก์ชันเอกพันธุ์

ในทางกลับกัน เอพิโมร์ฟิซึมทุกตัวในหมวดหมู่ของกลุ่มเป็นโคโนนอร์มอล (เนื่องจากเป็นโคเคอร์เนลของเคอร์เนลของตัวเอง) ดังนั้นหมวดหมู่นี้จึงเป็นโคโนนอร์มอล

ในหมวดหมู่แบบอาเบเลียนโมโนมอร์ฟิซึมทุกตัวเป็นเคอร์เนลของโคเคอร์เนล และเอพิมอร์ฟิซึมทุกตัวเป็นโคเคอร์เนลของเคอร์เนล ดังนั้น หมวดหมู่แบบอาเบเลียนจึงเป็นไบนอร์มอลเสมอ หมวดหมู่ของกลุ่มอาเบเลียนเป็นตัวอย่างพื้นฐานของหมวดหมู่แบบอาเบเลียน และด้วยเหตุนี้ กลุ่มย่อยทุกกลุ่มของกลุ่มอาเบเลียนจึงเป็นกลุ่มย่อยปกติ