All Questions

Let $\pi \colon F \rightarrow C$ and $\pi' \colon F' \rightarrow C$ be two fibered categories over the category $C$. A morphism from $\pi \colon F \rightarrow C$ to $\pi' \colon F' \rightarrow C$ is a ...

Let $C$ be a category internal to a category $K$. It is well known (for example see Proposition 2.4 in the paper Higher Dimensional Algebra VI: Lie 2-Algebra by Baez and Crans https://digitalcommons....

I'm looking for a reference explaining under what conditions the internal Yoneda lemma holds; in particular, I am wondering if it is known what properties of the ($2$-)category of categories are ...