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|
FDL editor aliases :  forget-group
Latex:
ForgetGroup  ==    functor(ob(G)  =  |G|;arrow(G,H,f)  =  f)


Date html generated: 2020_05_20-AM-08_23_19
Last ObjectModification: 2020_01_16-PM-05_09_56

Theory : free!groups


Home Index