Nuprl Definition : groupoid-nerve-filler0
groupoid-nerve-filler0(I;x;box) == functor-comp(poset-functor(I-[x];I;iota(x));snd(snd(hd(box))))
Definitions occuring in Statement :
poset-functor: poset-functor(J;K;f),
iota: iota(x),
cname_deq: CnameDeq,
functor-comp: functor-comp(F;G),
list-diff: as-bs,
hd: hd(l),
cons: [a / b],
nil: [],
pi2: snd(t)
Definitions occuring in definition :
functor-comp: functor-comp(F;G),
poset-functor: poset-functor(J;K;f),
list-diff: as-bs,
cname_deq: CnameDeq,
cons: [a / b],
nil: [],
iota: iota(x),
pi2: snd(t),
hd: hd(l)
FDL editor aliases :
groupoid-nerve-filler0
Latex:
groupoid-nerve-filler0(I;x;box) == functor-comp(poset-functor(I-[x];I;iota(x));snd(snd(hd(box))))
Date html generated:
2016_06_16-PM-07_13_14
Last ObjectModification:
2015_09_23-AM-09_33_41
Theory : cubical!sets
Home
Index