... embedding.¹

Varieties which admit a toroidal embedding are essentially what today is called smooth log-schemes over $k$ (see [Kat89, Ex. 3.7]). In the seminar we will mostly follow [KKMSD73] and hence stick to the terminology of toroidal embeddings.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.