Nuprl Definition : sigma-box-snd

sigma-box-snd(bx) ==  map(λfc.<fst(fc), fst(snd(fc)), snd(snd(snd(fc)))>;bx)



Definitions occuring in Statement :  map: map(f;as) pi1: fst(t) pi2: snd(t) lambda: λx.A[x] pair: <a, b>
Definitions occuring in definition :  map: map(f;as) lambda: λx.A[x] pair: <a, b> pi1: fst(t) pi2: snd(t)
FDL editor aliases :  sigma-box-snd

Latex:
sigma-box-snd(bx)  ==    map(\mlambda{}fc.<fst(fc),  fst(snd(fc)),  snd(snd(snd(fc)))>bx)



Date html generated: 2016_06_16-PM-06_46_04
Last ObjectModification: 2015_09_23-AM-09_32_25

Theory : cubical!sets


Home Index