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 :
mk-functor: mk-functor,
apply: f a,
cat-id: cat-id(C)
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:
2020_05_20-AM-07_51_07
Last ObjectModification:
2017_01_13-PM-04_09_55
Theory : small!categories
Home
Index