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. Et gruppoidschema skrivs ofta som $R\rightrightarrows U$.

Källor

• Mall:Enwp
• Mall:Citation