Nuprl Definition : poset-functor
poset-functor(J;K;f) == <λg.(f o g), λg,h,p,x. Ax>
Definitions occuring in Statement :
name-comp: (f o g),
lambda: λx.A[x],
pair: <a, b>,
axiom: Ax
Definitions occuring in definition :
pair: <a, b>,
name-comp: (f o g),
lambda: λx.A[x],
axiom: Ax
FDL editor aliases :
poset-functor
Latex:
poset-functor(J;K;f) == <\mlambda{}g.(f o g), \mlambda{}g,h,p,x. Ax>
Date html generated:
2016_06_16-PM-06_54_23
Last ObjectModification:
2015_09_23-AM-09_32_59
Theory : cubical!sets
Home
Index