Continuing with Yakov's comment.

We can construct a left-adjoint function \$$L : \mathbb{R}\to\mathbb{N} \$$ to our \$$I : \mathbb{N}\to\mathbb{R}\$$ such that

$$L = \begin{cases} 0 & \text{if } x\le0\\\\ \lceil x \rceil & \text{if } x>0 \end{cases}$$

Can we construct a right-adjoint function \$$R : \mathbb{R}\to\mathbb{N} \$$ to our \$$I : \mathbb{N}\to\mathbb{R}\$$ such that

$$R = \begin{cases} ? & \text{if } x\lt0\\\\ \lfloor x \rfloor & \text{if } x \ge0 \end{cases}$$

...what do we do when \$$x \lt0 \$$?

![Adjoints](https://docs.google.com/drawings/d/e/2PACX-1vRD1FFfwQ4qGDkT8XVX4tjcQx3XlPewnc1_UxMpHJIQCXdzv8lneYvt5YToniHrKnD2tIMhfwQfdcCY/pub?w=754&h=188)