## Return to Question

4 added 180 characters in body

Let $AbCat$ denote the $2$-category of abelian categories with additive functors. Is the forgetful functor $AbCat \to Cat$ representable; i.e. is there an abelian category $T$ such that for every abelian category $A$, the category $Hom(T,A)$ is naturally isomorphic to (the category underlying) $A$?

This would be nice, because then it is possible to reconstruct an abelian category which has only a universal property.

I try to work out the structure of $T$: The isomorphism $Hom(T,T) \cong T$ maps $1_T$ to some object $x \in T$. If $A$ is arbitrary, then the isomorphism $Hom(T,A) \cong A$ is given by mapping a functor $F : T \to A$ to $F(x)$ and mapping a natural transformation $\eta : F \Rightarrow G$ to the morphism $\eta(x) : F(x) \to G(x)$.

Let $T'$ be the smallest full abelian subcategory of $T$, which contains $x$ (Existence: Construct inductively subcategories $T_{n+3k}$, which contain direct sums $(n=0)$, kernels $(n=1)$ and cokernels $(n=2)$ from $T_{n+3k-1}$.). Then $T'$ has the same universal property as $T$. Thus $T'=T$, and we see that $T$ is generated by $x$. Now we have to find such a $T$, which has no additional relations. In particular, we have to ensure that a natural transformation between additive functors on $T$ is determined by the morphism at $x$, although the functors don't have to be exact.

3 added 743 characters in body; deleted 2 characters in body

Let $AbCat$ denote the $2$-category of abelian categories with additive functors. Is the forgetful functor $AbCat \to Cat$ representable; i.e. is there an abelian category $T$ such that for every abelian category $A$, the category $Hom(T,A)$ is naturally isomorphic to (the category underlying) $A$?

This would be nice, because then it is possible to reconstruct an abelian category which has only a universal property.

I try to work out the structure of $T$: The isomorphism $Hom(T,T) \cong T$ maps $1_T$ to some object $x \in T$. If $A$ is arbitrary, then the isomorphism $Hom(T,A) \cong A$ is given by mapping a functor $F : T \to A$ to $F(x)$ and mapping a natural transformation $\eta : F \Rightarrow G$ to the morphism $\eta(x) : F(x) \to G(x)$.

Let $T'$ be the smallest full abelian subcategory of $T$, which contains $x$ (Existence: Construct inductively subcategories $T_{n+3k}$, which contain direct sums $(n=0)$, kernels $(n=1)$ and cokernels $(n=2)$ from $T_{n+3k-1}$.). Then $T'$ has the same universal property as $T$. Thus $T'=T$, and we see that $T$ is generated by $x$. Now we have to find such a $T$, which has no additional relations.

2 added 25 characters in body

Let $AbCat$ denote the $2$-category of abelian categories with additive functors. Is the identity forgetful functor $AbCat \to AbCat$ Cat$representable; i.e. is there an abelian category$T$such that for every abelian category$A$, the category$Hom(T,A)$is naturally isomorphic to (the category underlying)$A\$?

This would be nice, because then it is possible to reconstruct an abelian category which has only a universal property.

1