In detail, a functor $F\colon \mathcal{C}\to \mathcal{D}$ is corepresentably full on cores if, for each $\mathcal{X}\in \text{Obj}\webleft (\mathsf{Cats}\webright )$ and each natural isomorphism

there exists a natural isomorphism
such that we have an equality
of pasting diagrams in $\mathsf{Cats}_{\mathsf{2}}$, i.e. such that we have

\[ \beta =\alpha \mathbin {\star }\text{id}_{F}. \]

Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: