Nuprl Definition : nerve_box_label
nerve_box_label(box;L) == functor-ob(cube(nerve-box-face(box;L))) L
Definitions occuring in Statement :
nerve-box-face: nerve-box-face(box;L),
face-cube: cube(f),
functor-ob: functor-ob(F),
apply: f a
Definitions occuring in definition :
apply: f a,
functor-ob: functor-ob(F),
face-cube: cube(f),
nerve-box-face: nerve-box-face(box;L)
FDL editor aliases :
nerve_box_label
Latex:
nerve\_box\_label(box;L) == functor-ob(cube(nerve-box-face(box;L))) L
Date html generated:
2016_06_16-PM-07_02_55
Last ObjectModification:
2015_09_23-AM-09_33_25
Theory : cubical!sets
Home
Index