[Trac] [OpenMath] #43: CD fns1

[OpenMath]

#43: CD fns1
---------------------------+------------------------------------------------
    Reporter:  jauecker    |           Owner:  kohlhase  
        Type:  proposal    |          Status:  new       
    Priority:  major       |       Milestone:  CD3 Draft1
   Component:  CD3 Format  |         Version:            
    Keywords:              |   Include_gantt:  0         
Dependencies:              |      Due_assign:  YYYY/MM/DD
   Due_close:  YYYY/MM/DD  |  
---------------------------+------------------------------------------------
 '''Chris:'''
 I use 'range' for the image under the function of of the function's
 domain (IOW, the set of values taken by the function); a synonym for
 'image'.

 I use 'codomain' for the (not a) set containing this 'range' that is
 defined as the set that appears 'on the right-hand side of the arrow'.
 Note that then: different codomain implies different function even if
 they are otherwise identical.

 ----------------

 It says 'the identity function': does this imply uniqueness, the same
 function for any set?

 ----------------

 Should we use 'left' and 'right' inverses in K-12 descriptions?

 And what is 'right_compose' ???

 ----------------

 I have never thought of 'lambda' as anything to do with maths, which
 managed for 500 years of specifying functions without it.
 ----------------

-- 
Ticket URL: <https://trac.kwarc.info/OM3/ticket/43>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.