Gerhard Mack: Title: Universal Dynamics, a Unified Theory of Complex Systems. Emergence, Life and Death Author: Gerhard Mack URL: http://arxiv.org/abs/hep-th/0011074 57ページ Title: Life in Silico - Simulation of Complex Systems by Enzymat…

加法圏の定義は確定している。これはよい。プレ加法圏（http://en.wikipedia.org/wiki/Preadditive_category）とは、 every hom-set Hom(A,B) in C has the structure of an abelian group, and composition of morphisms is bilinear over the integers. っ…

次のような関係がある。 双積⇒積 は当たり前 双積⇒余積 は当たり前 双積⇒加法 加法+積⇒双積 加法+余積⇒双積 次のような定義ができる。 ∇A := π1A,A + π2A,A ι1A,B := <1A, 0A,A>