Nuprl Definition : inj_mon_hom
InjMonHom(g;h) == {f:MonHom(g,h)| Inj(|g|;|h|;f)}
Definitions occuring in Statement :
monoid_hom: MonHom(M1,M2),
grp_car: |g|,
inject: Inj(A;B;f),
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
monoid_hom: MonHom(M1,M2),
inject: Inj(A;B;f),
grp_car: |g|
Latex:
InjMonHom(g;h) == \{f:MonHom(g,h)| Inj(|g|;|h|;f)\}
Date html generated:
2016_05_15-PM-00_10_13
Last ObjectModification:
2015_09_23-AM-06_24_35
Theory : groups_1
Home
Index