nLab being




According to 道德經 (English translation following Xiao-Gang Wen here):

The nameless nonbeing is the origin of universe;

The named being is the mother of all observed things.

Within nonbeing, we enjoy the mystery of the universe.

Among being, we observe the richness of the world.

Nonbeing and being are two aspects of the same mystery.

From nonbeing to being and from being to nonbeing is the gateway to all understanding.

Rather similarly, according to (Hegel 12) pure being is the opposite of nothing whose unity is pure becoming.

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

According to the formalization of this proposed by (Lawvere 91), this is described by the adjoint modality

(*) (\emptyset \dashv \ast)

of the idempotent monad constant on a terminal object *\ast and its left adjoint \emptyset.

In this interpretation any other adjoint modality of the form ()(\Box \dashv \bigcirc) characterizes a more “determinate” form of being ( Dasein in the terminology of (Hegel 12)).

A category equipped with such a notion of being is, naturally, called a category of being.


Last revised on February 8, 2023 at 02:55:13. See the history of this page for a list of all contributions to it.