In 1-category theory a representation of a 1-functor $F:C\to Set$ is a 0-cell $X$ in $C$ together with a universal element $u\in FX$ such that the transformation $C(X,-)\to F$ is an isomorphism (=a 1-equality) in the 1-category of functors $Fun(C,Set)$. It is well known how unique a representation $(X,u)$ is: unique up to a unique compatible isomorphism.


To see the uniqueness of the representation better, one can unfold $F$ into its [category of elements](https://ncatlab.org/nlab/show/category+of+elements) $el(F)$. The representations of $F$ are then precisely the initial objects of $el(F)$. When we consider only the full subcategory $rep(F)$ of representations of $F$ in $el(F)$, and if we consider the unique functor $rep(F)\to \mathbf 1$, the one point category, then we see that this functor is an equivalence. This means that $rep(F)$ is contractible and the representation is [unique up to contractibility](https://youtu.be/X2kNt0ARVeI).


Can we mimic this in the (weak) 2-categorical setting?


All my $2$-categories, functors and transformations are per default weak (but not lax). A representation of a $2$-functor $F:C\to Cat$ is a pair $(X,u)$, where $X$ is a $0$-cell of $C$ and $u$ an object of $F X$, such that the transformation of 2-functors $$C(X,-)\to F$$
induced by the 2-Yoneda lemma is an equivalence in the $2$-category $2Cat(C,Cat)$. How unique is a representation of $F$?


Is it possible to unfold $F$ into a (weak) 2-category $el(F)$ such hat the representations are precisely (weak) 2-initial objects in that 2-category, and such that the full sub-2-category $rep(F)$ of representations is contractible? By this I mean that the 2-functor $rep(F)\to \mathbf 1$ into the one-point 2-category is a 2-equivalence.



Do the representations of a 2-functor naturally form a contractible 2-category?
All my 2-categories, 2-functors, 2-(co)limits etc. are per default weak (or pseudo- or bi- if you so like).


One can unfold a 2-functor $M: K\to Cat$ into the 2-category $el(M)$ of its elements, and any representation of $M$ will be a 2-initial object in that 2-category. Unfortunately, and in contrast to the 1-categorical case, a 2-initial object in $el(M)$ need not be a representation of $M$. Still, the full sub-2-category of representations in $el(M)$ will be 2-contractible (if a representation exists), so that a 2-representation is unique up to a 2-contractible choice.


**Definition 1.** The 2-category $el(M)$ has the following cells.


* The 0-cells are pairs $(C,m)$, where $m\in M(C)$.
* A 1-cell $(C,M)\to (D,n)$ consists of a 1-cell $f:C\to D$ in $K$ together with an isomorphism $f\_\ast m \cong n$. Here $f\_\ast m$ is an abbreviation for $(Mf)(m)$. I will not give extra notation the isomorphism $f\_\ast m\cong n$, although it is part of the data of the 1-cell.
* A 2-cell $\theta:f\to g$ in $el(M)$ is a $2$-cell $\theta:f\to g$ in $K$ such that $\theta\_\ast m$ is the composite $f\_\ast m\cong n=n\cong g\_\ast m$.


The composition of 2-cells is just that of $K$. Given 1-cells $f:(C,m)\to (D,n)$ and $g:(D,n)\to (E,l)$ in $el(M)$, we let their composite be the morphism $gf$ together with the isomorphism $$(gf)\_\ast m \cong g\_\ast(f\_\ast m)\cong g\_\ast n\cong l$$The coherence cells of $el(M)$ are those of $K$. I am skipping over a lot of details here, but it feels like it should work out (this is always a dangerous thing to say).


**Definition 2.** A 2-initial object in a 2-category $E$ is an object $I$ such that for each other $0$-cell $X$ the 1-category $E(I,X)$ is 1-contractible. More explicitly, this means that there is one and precisely one invertible $2$-cell between any two $1$-cells $I\to X$, and $E(I,X)$ is not empty.


**Claim 1.** If $(X,u)$ is a representation of $M$, then $(C,u)$ is 2-initial in $el(M)$.


*Proof.* Let $(A,m)$ be any other 0-cell in $el(M)$. The fact that "evaluation at $u$" is an equivalence $$K(X,A)\to M(A)$$ means that I can find some $f:X\to A$ together with an isomorphism $f\_\ast u \cong m$. This means that there is at least one 1-cell $(X,u)\to (A,m)$. Assume that $g$ is a second such 1-cell in $el(M)$. Then $g$ comes equipped with a choice of an isomorphism $g\_\ast u \cong m$. A 2-cell $f\to g$ in $el(M)$ consists of a 2-cell $\theta: f\to g$ in $K$ such that $\theta\_\ast m$ is the composite $f\_\ast u \cong m \cong g\_\ast u$.The fact that $K(X,A)\to M(A)$ is an equivalence of 1-categories tells me also that there is one and precisely one such $\theta$. $\square$


Let us denote by $rep(M)$ the full 2-subcategory of $el(M)$ with 0-cells the 2-representations of $M$.


**Claim 2.** The 2-category $rep(M)$ is 2-contractible. This means that the 2-functor $rep(M) \to pt$ is a 2-equivalence.


*Proof.* What this means in elementary terms is that each hom-1-category in $el(M)$ must be 1-contractible. That is, whenever there are two representations $(A,a)$ and $(B,b)$, then there must be at least one 1-cell $(A,a)\to (B,b)$, and whenever there is another one then the two 1-cells are comparable by a unique 2-cell which is also invertible. But we see immediately that this is the case, because we have already shown that all the representations are 2-initial objects. $\square$


**Claim 3.** Unfortunately, being 2-initial in $el(M)$ doesn't automatically mean that you are a 2-representation of $M$. So while $el(M)$ answers the question how unique representations are, it does not characterize them.


*Proof.* This is in length discussed in the paper [Bi-initial objects and bi-representations are not so different](https://arxiv.org/abs/2009.05545) by tslil clingman AND LYNE MOSER, which by accident asks precisely my question in the middle of page 2. :) I only found the text weeks after I have asked the question. It also contains some positive results. $\square$


