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.