제로멀피즘
정의 1
몰피즘morphism 을 생각해보자.
- 모든 몰피즘 에 대해 면 를 컨스턴트멀피즘constant Morphism이라 한다.
- 모든 몰피즘 에 대해 면 를 코컨스턴트멀피즘coconstant Morphism이라 한다.
- 컨스턴트멀피즘이면서 코컨스턴트멀피즘인 를 제로멀피즘zero Morphism이라 한다.
설명
정의에서 는 함수의 곱이 아닌 함수의 합성이다. 좌로 보나 우로 보나 상수constant려면 사실상 그 함숫값은 같은 것이 되어야할 것이고, 따라서 제로멀피즘은 그 이름처럼 으로 표기하기도 한다. 멀피즘이 제로라는 것은 그 어떤 오브젝트가 들어가더라도 을 기반으로 한 오브젝트를 얻는다는 것이다.