News for hackers. Stuff that matters.
Re:Division by zero in type theory: a FAQ by ogogmad on Monday July 06, 2020 @05:07PM (#23752769)
The codomain doesn't have to equal the image. The image is the non-zero reals, but the codomain could be any superset of it (including all of R). The word "range" is ambiguous.
Re:Division by zero in type theory: a FAQ by ragnese on Tuesday July 07, 2020 @06:34AM (#23757651)
Thank you. I've forgotten some of the terminology, since I haven't thought about real math in a few years. :(