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.
|Number of pages||12|
|Publication status||Published - 2007 Nov|
ASJC Scopus subject areas
- Statistics and Probability
- Modelling and Simulation
- Biochemistry, Genetics and Molecular Biology(all)
- Applied Mathematics