Yes.

And it has only one morphism, which is also invertible, \\(id_{\texttt{true}}\\).