For years I was happily recording from neurons, and then one auspicious day in 1997 I saw Conceptual Mathematics and found it a happier place. It gives me great joy in recognizing definitions of profound notions (e.g. Quality Type) in doing exercises (cf. Definition 1, p. 43, Axiomatic Cohesion vis-a-vis Exercise 5, p. 367, Conceptual Mathematics, 2nd).
We try to make sense of the blooming buzzing confusion we are suspended in (borrowing a phrase from William James) in terms of Being and Becoming. Given that reality consists of parts reflecting it (Conceptual Mathematics, pp. 84-85), it seems to me that Reflecting objectified as a category of monads (composites of structure-semantics adjoint functors) is needed along with the more familiar categories of Being (cohesion / reflexive graphs) and Becoming (change / dynamical systems) to provide a comprehensive account of reality.