Publication: Azumaya algebras and Barr’s Theorem
Loading...
Date
2026
Journal Title
Journal ISSN
Volume Title
Publisher
ZML: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
Abstract
We study étale topology and the notion of Azumaya algebra over a commutative ring constructively. As an application of the syntactic version of Barr’s Theorem, we show the equivalence between two definitions of Azumaya algebra.
Description
Keywords
Citation
Thierry Coquand, Henri Lombardi, and Neuwirth Stefan. "Azumaya algebras and Barr’s Theorem." Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Vol. 72 (2026), pp. 353–361. DOI: 10.60866/CAM.293
Rights and licensing
Except where otherwised noted, this item's license is described as Attribution 4.0 International