Abstract

Craver's diagram, comprising symbols such as X (entity), S (mechanism), Φ (activity), and Ψ (phenomenon), is widely used to represent biological mechanisms in the New Mechanism. However, this paper demonstrates that Craver’s framework lacks the formal capacity to adequately capture the organizational structures and functional dynamics essential for mechanistic explanations, particularly the temporal interplay among entities and activities or the relational nature of enzymatic state transitions. To address these limitations, this paper proposes a supplementary framework based on category theory, enabling the abstraction of mechanisms as temporally organized structures of state transitions. By integrating key features such as order, frequency, and duration, categorical diagrams provide a cohesive representation of type mechanisms, supporting the deficiencies of token-centric approaches. Using protein synthesis as a case study, the paper illustrates how categorical abstractions enhance the formal representation of biological mechanisms while emphasizing the philosophical importance of organizational dimensions.