Nuprl Definition : I_set

A(I) ==  A I


Definitions occuring in Statement :  functor-ob: ob(F),  apply: f a
Definitions occuring in definition :  apply: f a,  functor-ob: ob(F)
FDL editor aliases :  I_set
Latex:
A(I)  ==    A  I


Date html generated: 2018_05_22-PM-09_58_29
Last ObjectModification: 2018_02_19-PM-06_01_43

Theory : presheaf!models!of!type!theory


Home Index