Publication: Azumaya algebras and Barr’s Theorem
| dc.contributor.author | Coquand, Thierry | |
| dc.contributor.author | Lombardi, Henri | |
| dc.contributor.author | Neuwirth, Stefan | |
| dc.date.accessioned | 2026-05-31T10:36:29Z | |
| dc.date.issued | 2026 | |
| dc.description.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. | |
| dc.identifier.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 | |
| dc.identifier.uri | https://diamond-oa.lib.cam.ac.uk/handle/1812/582 | |
| dc.identifier.uri | https://doi.org/10.60866/CAM.293 | |
| dc.publisher | ZML: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | |
| dc.rights | Attribution 4.0 International | en |
| dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | |
| dc.title | Azumaya algebras and Barr’s Theorem | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | a5960e9c-0743-4a23-9d99-2430b3b214a6 | |
| relation.isAuthorOfPublication | d9326722-8a5c-4440-b103-8d783ae56998 | |
| relation.isAuthorOfPublication | 98ec182a-10d4-4e4c-9a11-1f04c00636a9 | |
| relation.isAuthorOfPublication.latestForDiscovery | a5960e9c-0743-4a23-9d99-2430b3b214a6 | |
| relation.isJournalOfPublication | 72325bdb-b61c-4cc3-a98c-4e01c7b9a035 | |
| relation.isJournalVolumeOfPublication | 411f67b4-727b-42d6-af85-424be70ea060 | |
| relation.isJournalVolumeOfPublication.latestForDiscovery | 411f67b4-727b-42d6-af85-424be70ea060 |