Nuprl Definition : interval-groupoid
interval-groupoid() == tree-groupoid(ℕ2)
Definitions occuring in Statement :
tree-groupoid: tree-groupoid(X),
int_seg: {i..j-},
natural_number: $n
Definitions occuring in definition :
tree-groupoid: tree-groupoid(X),
int_seg: {i..j-},
natural_number: $n
FDL editor aliases :
interval-groupoid
Latex:
interval-groupoid() == tree-groupoid(\mBbbN{}2)
Date html generated:
2020_05_20-AM-07_55_43
Last ObjectModification:
2017_01_13-AM-11_47_27
Theory : small!categories
Home
Index