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.

For other approaches see category theory and biology.


Noticing that category theory at first is a formalism of states and processes (directed arrows) and nn-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 nn it has cells ( bonds ) which bind (n1)(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.

n-Categories and the Mind

According to Mikhail Gromov, the mathematical structures nearest to what is happening in the mind are n-categories. see 24:42-end of * Ergologic and Interfaces Between Languages

Revised on July 11, 2014 11:15:48 by trent? (