Can one recover an algebraically closed field $k$ from the dots and arrows of its category of finitely generated $k$-algebras?

I think the following works for any commutative ring: Consider the category of abelian group objects in the overcategory above the initial element. This is equivalent to the category of finitely generated $R$-Modules (see for example https://ncatlab.org/nlab/show/module). By the general theory of Morita equivalence, this determines $R$.

Here is a crude attempt. I am working with the opposite category: affine schemes of finite type over $k$. We make the following definitions.

Let $T$ be the terminal object. Let us call a map $X\to Y$ injective/surjective/bijective/constant if it becomes so after taking ${\rm Hom}(T, -)$. Note that bijective does not imply isomorphism.

Say that $X$ is irreducible if whenever we have a map $Y\sqcup Z\to X$ which is surjective then one of $Y\to X$, $Z\to X$ is surjective.

Say $X$ is a fat point if $X\to T$ is bijective.

Say $X$ is an irreducible curve if whenever we have an injective $Y\to X$ with $Y$ irreducible, then either $Y$ is a fat point or there exist finitely many maps $T_i\to X$ ($i=1, \ldots, r$) with $T_i\simeq T$ such that $$ Y\sqcup T_1 \sqcup \ldots \sqcup T_r \to X$$ is bijective.

Finally, say $A$ is an affine line if it is an irreducible curve and has the property that every irreducible curve $Y$ admits a map $Y\to A$ which is not constant.

Now, let $A$ be an affine line. Fix two different points $0\colon T\to A$ and $1\colon T\to A$. There exists a unique structure of a ring object on $A$ with $0$ as zero and $1$ as one.

Then $k = {\rm Hom}(T, A)$ as rings.

Added later. One can extend this to perfect fields:

Say that $S$ is a separable field extension if it is not the disjoint union of two non-initial objects, and if $S\times S$ is isomorphic to a finite disjoint union of copies of $S$.

We change the first definition for $k$ algebraically above to read:

Let us call a map $X\to Y$ injective/constant if it becomes so after taking ${\rm Hom}(S, -)$ for every separable field extension. Call it surjective if for every $S\to Y$ from a separable field extension there exists a separable field extension $S'$ and a commutative square $$ S'\to S, \quad S'\to X \quad X\to Y, \quad S\to Y $$ (forgot how to draw diagrams). Call it bijective if it is both injective and surjective.

Now the rest of the definitions is unchanged, except that in the definition of an irreducible curve we allow the $T_i$ to be separable field extensions.