If the colimits of two objects are isomorphic, then are these two objects isomorphic?
Let $A,B$ be commutative rings in characteristic $p$. Let $\phi_{A}:A\rightarrow A,\phi_{B}:B\rightarrow B$ be the Frobenius morphisms, i.e. the $p$-power maps. If we have ${\rm{colim}}_{n\in\mathbb{N}}A\cong {\rm{colim}}_{n\in\mathbb{N}}B$, where the transition maps are Frobenius morphisms, can we show that $A\cong B$ ?
Answer: No. Recall that an $\mathbb{F}_p$-algebra $R$ is perfect if the Frobenius map $\varphi : R \ni r \mapsto r^p \in R$ is an isomorphism. The colimit of powers of the Frobenius you describe is the perfection of an $\mathbb{F}_p$-algebra, and it is named that because it's the left adjoint of the inclusion of perfect $\mathbb{F}_p$-algebras into $\mathbb{F}_p$-algebras. This makes perfect $\mathbb{F}_p$-algebras a reflective subcategory of $\mathbb{F}_p$-algebras, which among other things implies that perfection fixes any perfect $\mathbb{F}_p$-algebra.
This is all abstract context for the following more specific counterexample: take $A = \mathbb{F}_p[x]$, whose perfection is $\mathbb{F}_p[x^{\frac{1}{p^{\infty}}}]$, the ring obtained by adjoining all $p^n$-power roots of $x$. Then take $B = \mathbb{F}_p[x^{\frac{1}{p^{\infty}}}]$ to be the perfection. More generally, we could take $A$ to be any $\mathbb{F}_p$-algebra which is not perfect and $B$ to be its perfection.
These notes by Bhatt have a more general claim right before Remark 1.4 about when two algebras have isomorphic perfections but I'm not familiar enough with universal homeomorphisms to say anything about it.
There is no comment, let's add the first one.