nLab becoming

Contents

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

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