Nuprl Definition : mk-groupoid

Groupoid(C;
         inv(x,y,f) = inv[x;
                          y;
                          f]) ==
  <C
  , λx,y,f. inv[x;
                y;
                f]
  >

Definitions occuring in Statement : lambda: λx.A[x], pair: <a, b>
Definitions occuring in definition : pair: <a, b>, lambda: λx.A[x]
FDL editor aliases : mk-groupoid

Latex:
Groupoid(C; inv(x,y,f) = inv[x; y; f]) == <C , \mlambda{}x,y,f. inv[x; y; f] > Date html generated: 2020_05_20-AM-07_55_18 Last ObjectModification: 2017_01_13-AM-11_33_14 Theory : small!categories Home Index