A range of formalisms have been proposed to model complex systems, some with a category theoretic flavour. In particular process algebra?s, such as the pi-calculus? and its stochastic variant, have been used to model biological systems. (See also here.) Further developments point to Milner’s bigraphs (bibliography). In Stochastic Bigraphs the authors discuss membrane budding in a biological system.

Noticing that category theory at first is a formalism of states and processes (directed arrows) and $n$-category theory of processes of processes, etc., can we also naturally encode in its language structures of structures, i.e. hierarchical structures, which do not naturally or not manifestly have an interpretation as processes, in particular in that they are lacking the directionality of processes? Whatever the definition of hyperstructure really will be in the end, I think this question is what motivates them: a hyperstructure differs from an $\infty$-category in that in degree $n$ it has cells ( bonds ) which bind$(n-1)$-cells, but there is no directionality imposed on this, and not necessarily a notion of composition.

Now, biological structures are often of the complex hierarchical structure that one would imagine the concept of hyperstructure would describe to some extent, but if the notion of hyperstructure is good and natural, that should be just a very specific of a more general kind of applications which maybe should not be regarded as the archetypical application of the concept as such. In this respect it is maybe noteworthy that the idea of hyperstructure does not originate in a motivation from biology, but was originally conceived as a means to formalize extended cobordisms such as appear in the generalized tangle hypothesis.

Lior Pachter, Bernd Sturmfels, The mathematics of phylogenomics, math/0409132

V. Noel, D. Grigoriev, S. Vakulenko, O. Radulescu, Tropical geometries and dynamics of biochemical networks. Application to hybrid cell cycle models_, pdf

Revised on May 14, 2016 11:48:12
by Zoran Škoda
(37.244.205.58)