Errata: More Than Life Itself
I fantasized the number of errors in More Than Life Itself to be zero, but hoped that it would be small, and that they would be slight and trivially fixable. My hopes were, fortunately, actualized. Tim Gwinn found many of the errors (for which I am grateful), and he first posted his list on his website panmere.com.
p.28 1.9 and write → and writes
p.56 2.30 Let f and g be observable of X. → Let f and g be observables of X.
p.59 2.36 is and ordered pair → is an ordered pair
p.63 3.5 if it satisfy → if it satisfies
p.72 l.-8 Hesse diagrams → Hasse diagrams
p.73 3.27 Equivalently, lattice → Equivalently, a lattice
p.73 3.28 Equivalently, lattice → Equivalently, a lattice
4 The Modelling Relation
p.97 l.-8 The encoding arrow α → The encoding arrow ε
pp.122–123 The second half of Section 5.16 has been rewritten.
(An overly stringent application of “a mapping uniquely determines its domain and co-domain” led to the disallowance of two modes of connection of two mappings. These restrictions are my oversight, and turn out to be unnecessary. I have since lifted them in a 2010 paper “Relational biology of symbiosis”, Axiomathes 20(4), 495-509.
p.124 l.-2 because diagram (35) my → because diagram (35) may
p.130 l.14 If in they heart → If in thy heart
pp.140–141 Section 6.10 has been rewritten.
This is to allow the acceptance of the disallowed connections (see note on pp.122–123 above).
p.146 The xi in (30) is larger than the other symbols. Reduced.
p.141 6.11 and (b) G has an Eulerian circuit → and (b) G has an Eulerian path
p.147 ll.6–7 Changed tab position so that ‘compositions’ fits in line 6.
p.156 The beginning of Section 6.24 has been rewritten
to mention pseudographs.
p.157 ll.8–9 it would force (65) → it would force (66)
p.157 l.10 but (65) contradicts → but (66) contradicts
p.157 l.-4 requires the some, → requires that some,
p.158 l.2 (61) → (67)
p.158 l.5 .. → .
pp.159–160 Discussion following Theorem 6.28 has been rewritten,
and a new Section 6.29 has been added.
Solid-headed arrow self-loops are discussed in detail.
7 The Category of Formal Systems
p.182 l.7 does not → do not
8 Simple Systems
p.213 l.4 a corresponding subsequence of program lengths
→ a corresponding subsequence with program lengths
11 Living Systems
p.259 Bertalanffy quote Hierarchical order is found → [Hierarchical order] is found
The actual line is “A similar hierarchy is found…”, where the similarity refers to the subject of the previous sentence: “One attractive scheme of hierarchical order (there are others) is that of Boulding (Table 1.2).”
p.260 11.2 “Nothing comes from nothing.” → “Ex nihilo nihil fit.”
p.281 11.16 Traversability as a Relation Diagram
→ Traversability as a Relational Diagram
p.313 l.-4 my → may
p.314 l.-5 deploring → deploying
Appendix Category Theory
p.344 l.-1 picture (1) → picture (2)
p.345 l.1 A-morphism commutativity → A-morphism associativity
p.355 l.2 an B-object → a B-object
p.376 l.12  ‘Autobiographical…’ →  ‘Autobiographical…’
p.381 col.2 ll.-6 332 → 332–333
p.385 col.1 ll.2–3 213–216–219 → 213–216, 219