Typographical errors in The Reflection of Life

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.

1 Praeludium

p.28 1.9 and write → and writes

2 Principium

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

3 Continuatio

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 ε

5 Causation

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

6 Topology

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

13 Ontogenic

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 commutativityA-morphism associativity

p.355 l.2 an B-object → a B-object


p.376 l.12 [2000] ‘Autobiographical…’ → [2006] ‘Autobiographical…’


p.381 col.2 ll.-6 332 → 332–333

p.385 col.1 ll.2–3 213–216–219 → 213–216, 219


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s