Nuprl Definition : module_hom
module_hom(A; M; N) == {f:M.car ⟶ N.car| module_hom_p(A; M; N; f)}
Definitions occuring in Statement :
module_hom_p: module_hom_p(a; m; n; f),
alg_car: a.car,
set: {x:A| B[x]} ,
function: x:A ⟶ B[x]
Definitions occuring in definition :
set: {x:A| B[x]} ,
function: x:A ⟶ B[x],
alg_car: a.car,
module_hom_p: module_hom_p(a; m; n; f)
Latex:
module\_hom(A; M; N) == \{f:M.car {}\mrightarrow{} N.car| module\_hom\_p(A; M; N; f)\}
Date html generated:
2016_05_16-AM-07_27_11
Last ObjectModification:
2015_09_23-AM-09_51_01
Theory : algebras_1
Home
Index