Nuprl Definition : mk-presheaf
Presheaf(Set(I) =S[I];
Morphism(I,J,f,rho) = morph[I; J; f; rho]) ==
functor(ob(I) = S[I];
arrow(I,J,f) = λrho.morph[I; J; f; rho])
Definitions occuring in Statement :
mk-functor: mk-functor,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
mk-functor: mk-functor
FDL editor aliases :
mk-presheaf
Latex:
Presheaf(Set(I) =S[I];
Morphism(I,J,f,rho) = morph[I; J; f; rho]) ==
functor(ob(I) = S[I];
arrow(I,J,f) = \mlambda{}rho.morph[I; J; f; rho])
Date html generated:
2017_10_05-AM-00_47_03
Last ObjectModification:
2017_10_03-PM-00_48_40
Theory : small!categories
Home
Index