Nuprl Definition : presheaf-pair

presheaf-pair(u;v) ==  λI,a. <u I a, v I a>


Definitions occuring in Statement :  apply: f a,  lambda: λx.A[x],  pair: <a, b>
Definitions occuring in definition :  lambda: λx.A[x],  pair: <a, b>,  apply: f a
FDL editor aliases :  presheaf-pair
Latex:
presheaf-pair(u;v)  ==    \mlambda{}I,a.  <u  I  a,  v  I  a>


Date html generated: 2018_05_23-AM-08_20_36
Last ObjectModification: 2018_02_21-PM-05_47_38

Theory : presheaf!models!of!type!theory


Home Index