Existence of nontrivial categories in which every object is atomic

Question

An object $X$ of a cartesian closed category $\mathbf C$ is atomic if $({-})^X \colon \mathbf C \to \mathbf C$ has a right adjoint (hence is also internally tiny). Intuitively, atomic objects are "very small" (as the name suggests), and consequently there aren't usually many tiny objects in $\mathbf C$.

However, is this necessarily the case? More precisely, do there exist any non-posetal cartesian closed categories in which every object is atomic?

If there are no non-posetal examples, are there any nontrivial posetal examples? (The terminal category forms a trivial example of a posetal example.)

Answer 1

Building on Maxime's answer -- if $C$ is cartesian closed and has an initial object $0$, and if $0$ is atomic (or even just tiny), then $C$ is the terminal category. For $1 = 0^0 = 0$ (the former equation holds in any cartesian closed category with an inital object $0$; the latter holds because $(-)^0$ preserves initial objects). That is, $C$ is pointed, and the only pointed cartesian closed category is the terminal one.

Answer 2

This is a partial answer : if $C$ has finite coproducts, then $C$ must be posetal. In fact, I only need biproducts of the form $X\coprod X$.

Indeed, because $C$ is cartesian closed, $X\times -$ commutes with these coproducts and in particular it is easy to check that $\underline{\hom}(* \coprod *, Y)\cong Y \times Y$, naturally in $Y$ ($\underline\hom$ denotes the internal hom).

In particular, if $*\coprod *$ is atomic, the canonical morphism $(Y_0\times Y_0)\coprod (Y_1\times Y_1)\to (Y_0\times Y_0)\coprod (Y_0\times Y_1)\coprod (Y_1\times Y_0)\coprod (Y_1\times Y_1)$ is an isomorphim (here I'm denoting by $Y_0$ or $Y_1$ the same object $Y$, it's simply to indicate the "position", i.e. what the morphism is).

This morphism is of the form $X\overset{in_1}\to X\coprod X$, and the claim is that this is an isomorphism. This implies that any two morphisms $X\to Z$ must be equal: $\hom(X,Z)\times \hom(X,Z)\cong \hom(X,Z)$.

Here $X$ is $Y\times Y$, for an arbitrary $Y$. Any of the two projections $Y\times Y\to Y$ is split, so it follows that any two morphisms out of $Y$ must be equal. $Y$ was arbitrary, so $C$ is posetal.