THE CATEGORY THEORY OF TIME SYSTEMS

In this paper we show a categorical treatment of general time systems using the categorization method presented in our previous paper. Various concepts about general time systems are categorized in the unified framework. Some category theoretical tools for the investigation of such time systems are presented. Using those tools some basic properties of time systems are explored in our framework. In particular, a conceptual equivalence between the causality and the state space representability is proved in the categorical terms. These results show that our method can be a universal tool for a categorization and a categorical treatment of mathematically defined general systems.