Title of article :
The origin of universality: making and invalidating a free category
Author/Authors :
Gunji، نويسنده , , Yukio-Pegio and Higashi، نويسنده , , Hideki، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2001
Abstract :
We propose a model of evolutionary systems characterized by internal measurement, or endo-physics, that is based on a particular graph morphism. If we take an internal stance, we have to focus on the influence of the outside of the domain of choice. The outside of the domain is not explicitly expressed as a particular ensemble in advance, although a formal expression generally requires an explicit form of the outside as the possible forms. In our model, a system is expressed by a directed graph, and the time transition is expressed as a particular graph morphism referring to the outside of the domain of the morphism. Referring to the outside of the domain is expressed by dynamical decomposition and synthesis of the relationship between a graph and its possible forms expressed as an underlying free category. Because the transformations from a graph to a category and vice versa are expressed as two adjunctive functors, a graph morphism is defined by a sequence of the operation of a free functor and a special operator standing for invalidation of the operation of the free functor. Time development of this system can generate a particular universal structure like a limit and co-limit as a part of a directed graph, which stands for generation of a higher order. We also argue that the process toward the generation of a universal structure can reveal intermittency, and that an emergent boundary in pattern formation can be demonstrated by the generation of this universal structure. In addition, we discuss emergent computation such as the origin of primitive recursive functions through the origination of a universal structure.
Keywords :
Internal measurement , Origin of universality , Category theory , Emergent boundary
Journal title :
Physica D Nonlinear Phenomena
Journal title :
Physica D Nonlinear Phenomena