I can't seem to figure out what you mean by inverse. Is the inversion of additio... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		jordanscales on Feb 25, 2024 \| parent \| context \| favorite \| on: Tacit programming I can't seem to figure out what you mean by inverse. Is the inversion of addition subtraction? Neither post seems to explain what it is (or maybe it assumes knowledge of ⊥ and ⊤?)

lokedhs on Feb 25, 2024 [–]

Given a function F that accepts an argument x and returns y, its inverse is another function which, when passed y will return x.

For dyadic functions, the incerse argument is always the right side one.

So negation is its own inverse.

So the inverse of 2+ is indeed subtraction of 2.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact