Azumaya algebras and Barr Theorem
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911474734071808 |
|---|---|
| author | Coquand, Thierry Lombardi, Henri Neuwirth, Stefan |
| author_facet | Coquand, Thierry Lombardi, Henri Neuwirth, Stefan |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2306_17679 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Azumaya algebras and Barr Theorem Coquand, Thierry Lombardi, Henri Neuwirth, Stefan Commutative Algebra Logic 13, 03 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. |
| title | Azumaya algebras and Barr Theorem |
| topic | Commutative Algebra Logic 13, 03 |
| url | https://arxiv.org/abs/2306.17679 |