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 :
natural_number: $n,
int_seg: {i..j-},
tree-groupoid: tree-groupoid(X)
FDL editor aliases :
interval-groupoid
Latex:
interval-groupoid() == tree-groupoid(\mBbbN{}2)
Date html generated:
2017_01_19-PM-02_56_07
Last ObjectModification:
2017_01_13-AM-11_47_27
Theory : small!categories
Home
Index