Duality between decomposition and gluing: A theoretical biology via adjoint functors

Two ideas in theoretical biology, 'decomposition into functions' and 'gluing functions', are formalized as endofunctors on the category of directed graphs. We prove that they constitute an adjunction. The invariant structures of the adjunction are obtained. They imply two biologically significant conditions: the existence of cycles in finite graphs and anticipatory diagrams.

[1]  Bernhard Ganter,et al.  Formal Concept Analysis, 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings , 2008, International Conference on Formal Concept Analysis.

[2]  R. Rosen,et al.  ABSTRACT BIOLOGICAL SYSTEMS AS SEQUENTIAL MACHINES. II. STRONG CONNECTEDNESS AND REVERSIBILITY. , 1964, The Bulletin of mathematical biophysics.

[3]  Robert Rosen,et al.  A relational theory of biological systems II , 1958 .

[4]  Koichiro Matsuno,et al.  Forming and maintaining a heat engine for quantum biology. , 2006, Bio Systems.

[5]  A. C. Ehresmann,et al.  Hierarchical evolutive systems: A mathematical model for complex systems , 1987 .

[6]  Y. Gunji,et al.  Principles of biological organization: Local–global negotiation based on “material cause” , 2006 .

[7]  A. H. Louie.  2 – Categorical System Theory , 1985 .

[8]  R. Rosen,et al.  ABSTRACT BIOLOGICAL SYSTEMS AS SEQUENTIAL MACHINES. , 1964, The Bulletin of mathematical biophysics.

[9]  A. H. Louie,et al.  Categorical system theory , 1983 .

[10]  A. Cornish-Bowden,et al.  Organizational invariance and metabolic closure: analysis in terms of (M,R) systems. , 2006, Journal of theoretical biology.

[11]  Robert Rosen,et al.  Chapter 4 – SOME RELATIONAL CELL MODELS: THE METABOLISM-REPAIR SYSTEMS , 1972 .

[12]  I. C. Baianu,et al.  Complex Non-linear Biodynamics in Categories, Higher Dimensional Algebra and Łukasiewicz–Moisil Topos: Transformations of Neuronal, Genetic and Neoplastic Networks , 2006 .

[13]  I. Moerdijk,et al.  Sheaves in geometry and logic: a first introduction to topos theory , 1992 .

[14]  R. Rosen.  Life Itself: A Comprehensive Inquiry Into the Nature, Origin, and Fabrication of Life , 1991 .

[15]  S. Vigna.  A Guided Tour in the Topos of Graphs , 2003, math/0306394.

[16]  R. Rosen.  THE REPRESENTATION OF BIOLOGICAL SYSTEMS FROM THE STANDPOINT OF THE THEORY OF CATEGORIES , 1958 .

[17]  A H Louie,et al.  Any material realization of the (M,R)-systems must have noncomputable models. , 2005, Journal of integrative neuroscience.

[18]  S. Maclane,et al.  Categories for the Working Mathematician , 1971 .

[19]  Robert Rosen,et al.  Theoretical biology and complexity : three essays on the natural philosophy of complex systems , 1985 .

[20]  A C Ehresmann,et al.  Hierarchical evolutive systems: a mathematical model for complex systems. , 1987, Bulletin of mathematical biology.

[21]  Ray Paton.  Process, structure and context in relation to integrative biology. , 2002, Bio Systems.

[22]  R. Rosen,et al.  Abstract biological systems as sequential machines. 3. Some algebraic aspects. , 1966, The Bulletin of mathematical biophysics.