Azumaya algebras and Barr Theorem
Commutative Algebra
2026-03-03 v4 Logic
Abstract
We study etale 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.
Cite
@article{arxiv.2306.17679,
title = {Azumaya algebras and Barr Theorem},
author = {Thierry Coquand and Henri Lombardi and Stefan Neuwirth},
journal= {arXiv preprint arXiv:2306.17679},
year = {2026}
}
Comments
Change title and corrected typos