Nuprl Definition : forget-group
ForgetGroup == functor(ob(G) = |G|;arrow(G,H,f) = f)
Definitions occuring in Statement :
mk-functor: mk-functor,
grp_car: |g|
Definitions occuring in definition :
grp_car: |g|,
mk-functor: mk-functor
FDL editor aliases :
forget-group
Latex:
ForgetGroup == functor(ob(G) = |G|;arrow(G,H,f) = f)
Date html generated:
2017_01_19-PM-02_57_11
Last ObjectModification:
2017_01_16-AM-00_41_39
Theory : small!categories
Home
Index