nLab
becoming

Contents

Idea

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:

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.

References

Revised on November 27, 2014 00:29:26 by Urs Schreiber (82.224.164.72)