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 :
it: ⋅,
tree-cat: tree-cat(X),
mk-groupoid: mk-groupoid
FDL editor aliases :
tree-groupoid
Latex:
tree-groupoid(X) == Groupoid(tree-cat(X);inv(x,y,f) = \mcdot{})
Date html generated:
2017_01_19-PM-02_55_53
Last ObjectModification:
2017_01_13-AM-11_45_40
Theory : small!categories
Home
Index