  This note analyzes in terms of categorial proof theory some standard
assumptions about negation in the absence of any other connective. It is shown
that the assumptions for an involutive negation, like classical negation, make
a kind of adjoint situation, which is named involutive adjunction. The notion
of involutive adjunction amounts in a precise sense to adjunction where an
endofunctor is adjoint to itself.
