Nuprl Definition : cube-set-map
A ⟶ B == nat-trans(NameCat;TypeCat;A;B)
Definitions occuring in Statement :
name-cat: NameCat,
type-cat: TypeCat,
nat-trans: nat-trans(C;D;F;G)
Definitions occuring in definition :
nat-trans: nat-trans(C;D;F;G),
name-cat: NameCat,
type-cat: TypeCat
FDL editor aliases :
c-map
Latex:
A {}\mrightarrow{} B == nat-trans(NameCat;TypeCat;A;B)
Date html generated:
2016_06_16-PM-05_35_45
Last ObjectModification:
2015_09_23-AM-09_29_52
Theory : cubical!sets
Home
Index