함자 및 의 대상 가 주어졌을 때, 에서 로 가는 시작 사상(始作寫像, 영어: initial morphism)은 쉼표 범주 의 시작 대상 이다. 즉, 임의의 및 사상 에 대하여, 다음 그림이 가환하는 유일한 사상 가 존재한다.
-
함자 및 의 대상 가 주어졌을 때, 에서 로 가는 끝 사상(끝寫像, 영어: terminal morphism)은 쉼표 범주 의 끝 대상 이다. 즉, 임의의 및 사상 에 대하여, 다음 그림이 가환하는 유일한 사상 가 존재한다.
-
어떤 대상이 시작 사상 또는 끝 사상을 이룬다면, 이 대상이 보편 성질을 만족시킨다고 한다.