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.
ASJC Scopus subject areas
- Statistics and Probability
- Modelling and Simulation
- Biochemistry, Genetics and Molecular Biology(all)
- Applied Mathematics