Nuprl Definition : const-functor

const-functor(A;a) ==  functor(ob(x) = a;arrow(x,y,f) = cat-id(A) a)


Definitions occuring in Statement :  mk-functor: mk-functor,  cat-id: cat-id(C),  apply: f a
Definitions occuring in definition :  cat-id: cat-id(C),  apply: f a,  mk-functor: mk-functor
FDL editor aliases :  const-functor
Latex:
const-functor(A;a)  ==    functor(ob(x)  =  a;arrow(x,y,f)  =  cat-id(A)  a)


Date html generated: 2017_01_19-PM-02_52_32
Last ObjectModification: 2017_01_13-PM-04_09_55

Theory : small!categories


Home Index