“Beauty, however, in its general aspect, is the inseparable characteristic of the idea when it has become known. In other words, everything is beautiful in which an idea is revealed; for to be beautiful means no more than clearly to express an idea.” — Schopenhauer (2004-eBook edition) “In the last analysis, the artist may shout from all the rooftops that he is a genius: he will have to wait fo...

We outline a definition of accessible and presentable objects in 2-category K endowed with “KZ context”, that is to say pair lax-idempotent monads interacting prescribed way; this perspective suggests unified treatment many “Gabriel-Ulmer like” theorems, asserting how arise as reflections generating ones. the notion (Gabriel-Ulmer) envelope for KZ context, sufficient concoct Gabriel-Ulmer duali...