3 ms·
The jargon "monomorphism", "codomain", "endomorphism" and even "function" and "domain" as it truly applies here are most certainly not taught even as part of a
by sidlls 10y ago
The jargon "monomorphism", "codomain", "endomorphism" and even "function" and "domain" as it truly applies here are most certainly not taught even as part of a typical high-school calculus program. I can't speak for IB (they only offered AP when I was in high school, so long ago). The basic, hand-wavy version ("a function maps a domain to a range") is about as complicated and deep as it gets.
- codygman 10y agoHigh schools taught calculus outside of honors programs? My high school only went to algebra 1.5
- sidlls 10y agoMost high schools in my district, even the ones serving poor neighborhoods, taught at least through Trig/Algebra 2. Calculus was AP Calculus only (which one didn't have to be in an "honors" program to take).
- dllthomas 10y agoMy recollection has "function", "domain", and "codomain" (though called "range") as part of Algebra 2, though it's been a while.
- catnaroek 10y agoNo, the range is in general a (possibly strict) subset of the codomain. In a typed setting, the codomain is the more natural notion. For example: twice :: Integer -> Integer twice = (2*) Here, `twice`'s range contains just the even integers.
- dllthomas 10y agoPer Wikipedia, range is sometimes used for image (as you say) and sometimes used for codomain. That said, image probably is closer to the use in question.
- pimlottc 10y agoThat matches my experience. I was familiar with domain and range; this thread is the first time I've heard the term "codomain".