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 : mk-functor: mk-functor, lambda: λx.A[x]
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: 2020_05_20-AM-07_52_52 Last ObjectModification: 2017_10_03-PM-00_48_40 Theory : small!categories Home Index