Nuprl Definition : groupoid-square2

groupoid-square2(G;x00;x10;x01;x11;b;c;d) ==
  cat-comp(cat(G)) x00 x11 x10 (cat-comp(cat(G)) x00 x01 x11 d) groupoid-inv(G;x10;x11;b)



Definitions occuring in Statement :  groupoid-inv: groupoid-inv(G;x;y;x_y) groupoid-cat: cat(G) cat-comp: cat-comp(C) apply: a
Definitions occuring in definition :  apply: a cat-comp: cat-comp(C) groupoid-cat: cat(G) groupoid-inv: groupoid-inv(G;x;y;x_y)
FDL editor aliases :  groupoid-square2

Latex:
groupoid-square2(G;x00;x10;x01;x11;b;c;d)  ==
    cat-comp(cat(G))  x00  x11  x10  (cat-comp(cat(G))  x00  x01  x11  c  d)  groupoid-inv(G;x10;x11;b)



Date html generated: 2016_05_18-AM-11_56_08
Last ObjectModification: 2015_09_23-AM-09_29_21

Theory : small!categories


Home Index