Nuprl Definition : unit-cube-map
unit-cube-map(f) == λK,g. (f o g)
Definitions occuring in Statement :
name-comp: (f o g),
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
name-comp: (f o g)
FDL editor aliases :
unit-cube-map
Latex:
unit-cube-map(f) == \mlambda{}K,g. (f o g)
Date html generated:
2016_06_16-PM-05_37_56
Last ObjectModification:
2015_09_23-AM-09_30_03
Theory : cubical!sets
Home
Index