General affine adjunctions, Nullstellensätze, and dualities

DOI10.1016/J.JPAA.2020.106470zbMATH Open1469.18001arXiv1412.8692OpenAlexW3036841547MaRDI QIDQ2196331FDOQ2196331

Authors: Olivia Caramello, Vincenzo Marra, Luca Spada 

Publication date: 28 August 2020

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: We introduce and investigate a category-theoretic abstraction of the standard "system-solution" 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 well-established 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.

Full work available at URL: https://arxiv.org/abs/1412.8692

Recommendations

• scientific article; zbMATH DE number 4033972
• Affine algebraic sets relative to an algebraic theory
• scientific article; zbMATH DE number 19040
• Categories of algebraic sets
• Affine sets: the structure of complete objects and duality

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) MV-algebras (06D35) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Title not available (Why is that?)
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Algebraic geometry over algebraic structures. II: Foundations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Affine algebraic sets relative to an algebraic theory
• Subdirect unions in universal algebra
• Title not available (Why is that?)
• The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.
• MV-algebras, infinite dimensional polyhedra, and natural dualities
• Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
• Title not available (Why is that?)
• The dual adjunction between MV-algebras and Tychonoff spaces
• Classifying topoi and finite forcing
• Syntactic characterizations of properties of classifying toposes
• Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\)
• Some algebraic problems in the context of functorial semantics of algebraic theories
• Varieties of algebras and algebraic varieties
• Theories, sites, toposes. Relating and studying mathematical theories through topos-theoretic `bridges'
• On the geometric theory of local MV-algebras
• LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE
• Nullstellen and subdirect representation

Cited In (5)

• Models, coproducts and exchangeability: notes on states on Baire functions
• Generalized adjunction and applications
• MV-algebras, infinite dimensional polyhedra, and natural dualities
• Affine sets: the structure of complete objects and duality
• De Finetti's coherence and exchangeability in infinitary logic

This page was built for publication: General affine adjunctions, Nullstellensätze, and dualities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2196331)