효과적인 범주에 대한 프로모나드와 문자열 다이어그램

효과적인 범주는 프로모나드의 의사 단일체이다.