nLab becoming




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:

becoming :nothing\;\;\;\dashvbeing: ceasing

The universal factorization via \emptyset-unit and *\ast-counit of a comonad:

X * nothing becoming being \array{ \emptyset &\longrightarrow& X &\longrightarrow& \ast \\ \\ nothing && becoming && being }

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.


Last revised on March 4, 2015 at 13:12:25. See the history of this page for a list of all contributions to it.