General affine adjunctions, Nullstellensätze, and dualities
Abstract
We introduce and investigate a categorytheoretic abstraction of the standard "systemsolution" adjunction in affine algebraic geometry. We then look further into these geometric adjunctions at different levels of generality, from syntactic categories to (possibly infinitary) equational classes of algebras. In doing so, we discuss the relationships between the dualities induced by our framework and the wellestablished theory of concrete dual adjunctions. In the context of general algebra we prove an analogue of Hilbert's Nullstellensatz, thereby achieving a complete characterisation of the fixed points on the algebraic side of the adjunction.
 Publication:

arXiv eprints
 Pub Date:
 December 2014
 arXiv:
 arXiv:1412.8692
 Bibcode:
 2014arXiv1412.8692C
 Keywords:

 Mathematics  Category Theory;
 Mathematics  General Topology;
 Mathematics  Logic;
 06D50;
 46A20;
 22D35;
 03C05
 EPrint:
 This new version noticeably differs from the previous one. Many changes, both stylistic and mathematical, were introduced to improve readability. Some sections were cut and new ones have been introduced to compare with the existing literature