Category Theory
摘要
A brief history of Rosen’s mathematical and scientific background, in particular his discovery that category theory is the formalism well suited to model biological systems. Along with an informal introduction to category theory as a general theory of models in terms of the entailment relations in and between formal systems.