Nuprl Definition : vs-hom
Hom(A;B) == Point= A ⟶ B zero= λa.0 f+g= λa.f a + g a k*f= λa.k * f a
Definitions occuring in Statement :
vs-map: A ⟶ B,
mk-vs: mk-vs,
vs-mul: a * x,
vs-add: x + y,
vs-0: 0,
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
mk-vs: mk-vs,
vs-map: A ⟶ B,
vs-0: 0,
vs-add: x + y,
lambda: λx.A[x],
vs-mul: a * x,
apply: f a
FDL editor aliases :
vs-hom
Latex:
Hom(A;B) == Point= A {}\mrightarrow{} B zero= \mlambda{}a.0 f+g= \mlambda{}a.f a + g a k*f= \mlambda{}a.k * f a
Date html generated:
2018_05_22-PM-09_43_26
Last ObjectModification:
2017_11_09-PM-03_15_46
Theory : linear!algebra
Home
Index