계산 복잡도가 범주론적으로 정의되어 있으면 좋겠다.
사상(morphism)의 계산 복잡도는 얼마다 이런 식으로