Gruppoidschema

Inom algebraisk geometri, en del av matematiken, är ett gruppoidschema ett par av scheman $R,U$ tillsammans med fem morfier $s,t:R\to U,e:U\to R,m:R\times _{U,s,t}R\to R,i:R\to R$ så att $s\circ e,t\circ e$ är identitetsmorfierna, $s\circ m=s\circ p_{1},t\circ m=t\circ p_{2}$ och andra självklara krav som generaliserar axiomen av gruppverkan.^[1] Et gruppoidschema skrivs ofta som $R\rightrightarrows U$ .