Zulip Chat Archive

Stream: LftCM22

Topic: Formally étale

Riccardo Brasca (Jul 16 2022 at 09:55):

@Kevin Buzzard @Jackie Lang @Judith Ludwig Did you notice #15242? @Andrew Yang defines there formally étale (and smooth/unramified) morphisms.

Kevin Buzzard (Jul 16 2022 at 12:27):

Yes I did! We'd already been derailed once (we started on quadratic fields and then switched) so I figured that we'd just get on with the definitions independently.

Last updated: Dec 20 2023 at 11:08 UTC