Nuprl Definition : id_functor
1 == functor(ob(x) = x;arrow(x,y,a) = a)
Definitions occuring in Statement :
mk-functor: mk-functor
Definitions occuring in definition :
mk-functor: mk-functor
FDL editor aliases :
id_functor
Latex:
1 == functor(ob(x) = x;arrow(x,y,a) = a)
Date html generated:
2017_01_19-PM-02_53_38
Last ObjectModification:
2017_01_13-PM-01_24_15
Theory : small!categories
Home
Index