Nuprl Definition : omral_fma
omral_fma(g;a) == <omral_alg(g;a), λk.inj(k,1), λn,f. alg_umap(n,f)>
Definitions occuring in Statement :
omral_alg_umap: alg_umap(n,f),
omral_alg: omral_alg(g;r),
omral_inj: inj(k,v),
lambda: λx.A[x],
pair: <a, b>,
rng_one: 1
Definitions occuring in definition :
omral_alg: omral_alg(g;r),
pair: <a, b>,
omral_inj: inj(k,v),
rng_one: 1,
lambda: λx.A[x],
omral_alg_umap: alg_umap(n,f)
Latex:
omral\_fma(g;a) == <omral\_alg(g;a), \mlambda{}k.inj(k,1), \mlambda{}n,f. alg\_umap(n,f)>
Date html generated:
2016_05_16-AM-08_28_11
Last ObjectModification:
2015_09_23-AM-09_53_22
Theory : polynom_3
Home
Index