Categorical Abstractions for Representing Temporal Organizations of Type Mechanisms 유형 메커니즘의 시간적 구조를 표상하기…