Nuprl Definition : tree-groupoid
tree-groupoid(X) == Groupoid(tree-cat(X);inv(x,y,f) = ⋅)
Definitions occuring in Statement :
mk-groupoid: mk-groupoid,
tree-cat: tree-cat(X),
it: ⋅
Definitions occuring in definition :
mk-groupoid: mk-groupoid,
tree-cat: tree-cat(X),
it: ⋅
FDL editor aliases :
tree-groupoid
Latex:
tree-groupoid(X) == Groupoid(tree-cat(X);inv(x,y,f) = \mcdot{})
Date html generated:
2020_05_20-AM-07_55_34
Last ObjectModification:
2017_01_13-AM-11_45_40
Theory : small!categories
Home
Index