Commit 2024-09-10 09:38 99998e14
View on Github →feat(CategoryTheory/Galois): any fiber functor of a Galois category is full (#16478)
More precisely, for a fiber functor F, the induced functor to the category of finite Aut F-sets is full.
feat(CategoryTheory/Galois): any fiber functor of a Galois category is full (#16478)
More precisely, for a fiber functor F, the induced functor to the category of finite Aut F-sets is full.