On Jul 12, 2011, at 16:09 , Rob Beezer wrote: > About six months ago, William posted a meta-post entitled "post more". > > http://groups.google.com/group/sage-devel/browse_thread/thread/6fdd6a09ec83853b > > Nothing like a naming discussion to generate long threads, so here > goes. > > What does the term "lift" meant to you, at least in an algebraic > structure setting? To me it suggests new mappings involving super- > structures, which might agree with old mappings between substructures > (or the application of said new mappings to specific elements). Or > something along those lines. But maybe that is inaccurate, even > stated so vaguely.
To me it suggests filling in diagrams so as to commute, where the diagram may not be entirely "categorical". Lifts may occur for morphisms (categorical) or elements (not so much); cf. "Teichmuller lift" (which can be viewed as a "section"). Justin -- Justin C. Walker, Curmudgeon at Large Institute for the Absorption of Federal Funds ----------- My wife 'n kids 'n dogs are gone, I can't get Jesus on the phone, But Ol' Milwaukee's Best is my best friend. ----------- -- To post to this group, send an email to [email protected] To unsubscribe from this group, send an email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
