Champ algébrique
# Champ algébrique

En mathématiques, un champ algébrique est une catégorie généralisant la notion de schéma ; elle permet notamment l'étude des actions de groupes lorsqu'elles ne sont pas libres.

## Définition

Un champ X est une catégorie fibrée (en) au-dessus d'un site étale satisfaisant les propriétés suivantes :

* la catégorie X est fibrée en groupoïdes au-dessus du site étale ;
* les isomorphismes sont un faisceau pour X ;
* toute donnée de descente est effective.
