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 c 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: f a
Definitions occuring in definition : apply: f 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: 2020_05_20-AM-07_56_19 Last ObjectModification: 2015_09_23-AM-09_29_21 Theory : small!categories Home Index