수학, 특히 범주 이론에서 본질적인 단형주의는 범주 C의 단형주의 f로서, C의 형태주의 g에 대해서는, 형태주의 g ∘ f {\displaystyle g\circ f}가 단형주의일 때만 단형주의다.모듈 범주에서 필수 단형화란 이미지가 코도메인의 필수 하위 모듈인 이미지를 말한다.물체 X의 주입식 선체는 X에서 주입식 물체에 이르는 필수적인 단형성이다.
이 범주 이론 관련 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.
