Nuprl Definition : groupoids
Groupoids == Cat(ob = Groupoid;arrow(G,H) = groupoid-map(G;H);id(G) = 1;comp(G,H,K,F,G) = functor-comp(F;G))
Definitions occuring in Statement :
groupoid-map: groupoid-map(G;H),
groupoid: Groupoid,
id_functor: 1,
functor-comp: functor-comp(F;G),
mk-cat: mk-cat
Definitions occuring in definition :
mk-cat: mk-cat,
groupoid: Groupoid,
groupoid-map: groupoid-map(G;H),
id_functor: 1,
functor-comp: functor-comp(F;G)
FDL editor aliases :
groupoids
Latex:
Groupoids ==
Cat(ob = Groupoid;
arrow(G,H) = groupoid-map(G;H);
id(G) = 1;
comp(G,H,K,F,G) = functor-comp(F;G))
Date html generated:
2020_05_20-AM-07_55_28
Last ObjectModification:
2019_05_07-PM-06_05_19
Theory : small!categories
Home
Index