Negation and Involutive Adjunction
Logic
2007-05-23 v2 Category Theory
Abstract
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.
Cite
@article{arxiv.math/0506302,
title = {Negation and Involutive Adjunction},
author = {K. Dosen and Z. Petric},
journal= {arXiv preprint arXiv:math/0506302},
year = {2007}
}
Comments
10 pages