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.
According to the formalization of this proposed by (Lawvere 91), this is described by the adjoint modality
of the idempotent monad constant on a terminal object and its left adjoint .
In this interpretation any other adjoint modality of the form 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.
Revised on March 4, 2015 13:12:02
by Urs Schreiber