Nuprl Definition : names-hom
I ⟶ J == names(J) ⟶ Point(dM(I))
Definitions occuring in Statement :
dM: dM(I),
names: names(I),
lattice-point: Point(l),
function: x:A ⟶ B[x]
Definitions occuring in definition :
function: x:A ⟶ B[x],
names: names(I),
lattice-point: Point(l),
dM: dM(I)
FDL editor aliases :
names-hom
Latex:
I {}\mrightarrow{} J == names(J) {}\mrightarrow{} Point(dM(I))
Date html generated:
2016_05_18-AM-11_57_41
Last ObjectModification:
2015_10_13-PM-01_16_21
Theory : cubical!type!theory
Home
Index