Theorem: CCD.IVT.0: If $f$ is a continuous function on the interval $[a,b]$ and $0$ is between $f(a)$ and $f(b)$ or $f(a) \cdot f(b) < 0$, then there is a number $c \in [a,b]$  where  $f(c) = 0$.
Theorem: CCD.IVT: If $f$ is a continuous function on the interval $[a,b]$ and $v$ is between $f(a)$ and $f(b)$, then there is a number $c \in [a,b]$  where  $f(c) = v$

For the mapping diagram visualization of IVT.0, the continuity of the function $f$ can be interpreted as the function representing the position of an object at varying times between times $a$ and $b$. The assumption that  $0$ is between $f(a)$ and $f(b)$ is interpreted that between times $a$ and $b$ the object has moved either from a negative to a positive position or vice versa.The conclusion is interpreted that at some time, $c$, the object's position is precisely $0$, i.e., $f(c)=0$.

Not only do mapping diagrams provide a distinct alternative to the graphical visualization of the intermediate value theorem, they also provide a sensible alternative visualization of the proof of IVT.0 by the Bisection Method.
Mapping Diagram for IVT.0
Proof Outline and Visualization of CCD.IVT.0 using the "bisection method."
Suppose $f$ is a continuous function on the interval $[a,b]$ and  $f(a) \cdot f(b) < 0$, then let $a_1=a, b_1=b$ and  $c_1 =\frac {a_1+b_2}2$ the midpoint of the interval $[a_1,b_1]$.
If $f(c_1)=0$, the let $c=c_1$ and the theorem is proven.
If  $f(a_1)\cdot f(c_1) >0 then let $a_2 = a_1$ and $b_2=c_1$.
Otherwise let
$a_2 = c_1$ and $b_2=b_1$.
In either case $f(a_2) \cdot f(b_2) < 0$ and the procedure can be continued.
At each step $b_{n+1}-a_{n+1} = \frac {b_n-a_n}2$ so the sequences $\{a_n\}$ and $\{b_n\}$ with $f(a_n) \cdot f(b_n) < 0$ approach a single number $c \in[a,b]$ and by continuity $f(c) = 0$.

The Bisection Method and IVT visualized with GeoGebra.