logos, Science of Logic
philosophy of physics
Edit this sidebar
According to Science of Logic (SoL §152, Lawvere 91, p. 11) “becoming” is the unity of opposites of nothing and being. The reverse is ceasing. The Aufhebung of both is Dasein:
The universal factorization via ∅\emptyset-unit and *\ast-counit of a comonad:
of the unique function from the empty type to the unit type through any other type XX.
Indeed, this is the statement of SoL §174: there is nothing which is not an intermediate state between being and nothing.
Hegel, Science of Logic, Volume One: The Objective Logic, Book One: The Doctrine of Being, Chapter 1 Being, C Becoming
Hermann Grassmann, Ausdehnungslehre, 1844
William Lawvere, Some Thoughts on the Future of Category Theory1991