Let $\mathfrak{Cat}$ be the 2-category of small categories, functors, and natural transformations. Consider the following diagram in $\mathfrak{Cat}$: $\mathbb{D} \stackrel{F}{\longrightarrow} \mathbb{C} \stackrel{G}{\longleftarrow} \mathbb{E}$
There are several notions of pullback one could investigate in $\mathfrak{Cat}$:
The ordinary pullback in the underlying 1-category $\textbf{Cat}$: these exist and are unique, by ordinary abstract nonsense. Explicitly, $\mathbb{D} \mathbin{\stackrel{1}{\times}_\mathbb{C}} \mathbb{E}$ has objects pairs $(d, e)$ such that $F d = G e$ (evil!) and arrows are pairs $(k, l)$ such that $F k = G l$. This evidently an evil notion: it is not stable under equivalence. For example, take $\mathbb{C} = \mathbb{1}$: then we get an ordinary product; but if $\mathbb{C}$ is the interval category $\mathbb{I}$, we have $\mathbb{1} \simeq \mathbb{I}$, yet if I choose $F$ and $G$ so that their images are disjoint, we have $\mathbb{D} \mathbin{\stackrel{1}{\times}_\mathbb{C}} \mathbb{E} = \emptyset$, and $\emptyset \not\simeq \mathbb{D} \times \mathbb{E}$ in general.
The strict 2-pullback is a category $\mathbb{D} \mathbin{\stackrel{s}{\times}_\mathbb{C}} \mathbb{E}$ and two functors $P : \mathbb{D} \mathbin{\stackrel{s}{\times}_\mathbb{C}} \mathbb{E} \to \mathbb{D}$, $Q : \mathbb{D} \mathbin{\stackrel{s}{\times}_\mathbb{C}} \mathbb{E} \to \mathbb{E}$ such that $F P = G Q$, with the following universal property (if I'm not mistaken): for all $K : \mathbb{T} \to \mathbb{D}$ and $L : \mathbb{T} \to \mathbb{E}$ such that $F K = G L$, there is a functor $H : \mathbb{T} \to \mathbb{D} \mathbin{\stackrel{s}{\times}_\mathbb{C}} \mathbb{E}$ such that $P H = K$ and $Q H = L$, and $H$ is unique up to equality; if $K' : \mathbb{T} \to \mathbb{D}$ and $L' : \mathbb{T} \to \mathbb{E}$ are two further functors such that $F K' = G L'$ and $H' : \mathbb{T} \to \mathbb{D} \mathbin{\stackrel{s}{\times}_\mathbb{C}} \mathbb{E}$ satisfies $P H' = K'$ and $Q H' = L'$ and there are natural transformations $\beta : K \Rightarrow K'$ and $\gamma : L \Rightarrow L'$, then there is a unique natural transformation $\alpha : H \Rightarrow H'$ such that $P \alpha = \beta$ and $Q \alpha = \gamma$. So $\mathbb{D} \mathbin{\stackrel{s}{\times}_\mathbb{C}} \mathbb{E} = \mathbb{D} \mathbin{\stackrel{1}{\times}_\mathbb{C}} \mathbb{E}$ works, and in particular, strict 2-pullbacks are evil.
The pseudo 2-pullback is a category $\mathbb{D} \times_\mathbb{C} \mathbb{E}$, three functors $P : \mathbb{D} \times_\mathbb{C} \mathbb{E} \to \mathbb{D}$, $Q : \mathbb{D} \times_\mathbb{C} \mathbb{E} \to \mathbb{E}$, $R : \mathbb{D} \times_\mathbb{C} \mathbb{E} \to \mathbb{C}$, and two natural isomorphisms $\phi : F P \Rightarrow R$, $\psi : G Q \Rightarrow R$, satisfying the following universal property: for all functors $K : \mathbb{T} \to \mathbb{D}$, $L : \mathbb{T} \to \mathbb{E}$, $M : \mathbb{T} \to \mathbb{C}$, and natural isomorphisms $\theta : F K \Rightarrow M$, $\chi : G L \Rightarrow M$, there is a unique functor $H : \mathbb{T} \to \mathbb{D} \times_\mathbb{C} \mathbb{E}$ and natural isomorphisms $\tau : K \Rightarrow P H$, $\sigma : L \Rightarrow Q H$, $\rho : M \Rightarrow R H$ such that $\phi H \bullet F \tau = \rho \bullet \theta$ and $\psi H \bullet G \sigma = \rho \bullet \chi$ (plus some coherence axioms I haven't understood); and some further universal property for natural transformations.
By considering the cases $\mathbb{T} = \mathbb{1}$ and $\mathbb{T} = \mathbb{2}$, it seems that $\mathbb{D} \times_\mathbb{C} \mathbb{E}$ can be taken to be the following category: its objects are quintuples $(c, d, e, f, g)$ where $f : F d \to c$ and $g : G e \to c$ are isomorphisms, and its morphisms are triples $(k, l, m)$ where $k : d \to d'$, $l : e \to e'$, $m : c \to c'$ make the evident diagram in $\mathbb{C}$ commute. The functors $P, Q, R$ are the obvious projections, and the natural transformations $\phi$ and $\psi$ are also given by projections.
Question. This seems to satisfy the required universal properties. Is my construction correct?
Question. What are the properties of this construction? Is it stable under equivalences, in the sense that $\mathbb{D}' \times_{\mathbb{C}'} \mathbb{E}' \simeq \mathbb{D} \times_\mathbb{C} \mathbb{E}$ when there is an equivalence between $\mathbb{D}' \stackrel{F'}{\longrightarrow} \mathbb{C}' \stackrel{G'}{\longleftarrow} \mathbb{E}'$ and $\mathbb{D} \stackrel{F}{\longrightarrow} \mathbb{C} \stackrel{G}{\longleftarrow} \mathbb{E}$?
Finally, there is the non-strict 2-pullback, which as I understand it has the same universal property as the pseudo 2-pullback but with "unique functor" replaced by "functor unique up to isomorphism".
Question. Is this correct?
General question. Where can I find a good explanation of strict 2-limits / pseudo 2-limits / bilimits and their relationships, with explicit constructions for concrete 2-categories such as $\mathfrak{Cat}$? So far I have only found definitions without examples. (Is there a textbook yet...?)