Constructive Remarks on Azumaya Algebra
| Autor: | Coquand, Thierry, Lombardi, Henri, Neuwirth, Stefan |
|---|---|
| Rok vydání: | 2023 |
| Předmět: | |
| Druh dokumentu: | Working Paper |
| Popis: | 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. |
| Databáze: | arXiv |
| Externí odkaz: |
|