{"id":"arxiv/2601.04143","url":"https://arxiv.org/abs/2601.04143","tags":["math.AC"],"score":0,"title":"Local structure of etale algebras","domain":"math.AC","source":"arxiv","authors":["Thierry Coquand"],"reviews":0,"subject":"math.AC","summary":"The goal of this note is to provide a constructive version of the proof of local structure of etale algebras.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-07","reactions":{}}