Let $\mathcal{C}$ and $\mathcal{D}$ be categories.
A functor $F\colon \mathcal{C}\to \mathcal{D}$ is pseudoepic if it satisfies the following conditions:
For all diagrams of the form
then $\alpha =\beta $.
For each $X\in \operatorname {\mathrm{Obj}}\webleft (\mathcal{C}\webright )$ and each $2$-isomorphism
Let $F\colon \mathcal{C}\to \mathcal{D}$ be a functor.
Characterisations. The following conditions are equivalent:
The functor $F$ is pseudoepic.
For each $\mathcal{X}\in \operatorname {\mathrm{Obj}}\webleft (\mathsf{Cats}\webright )$, the functor
given by precomposition by $F$ is pseudomonic.
We have an isococomma square of the form
Dominance. If $F$ is pseudoepic, then $F$ is dominant (Definition 11.7.1.1.1).
is pseudomonic for all $\mathcal{X}\in \operatorname {\mathrm{Obj}}\webleft (\mathsf{Cats}\webright )$, and thus in particular faithful. By Item 5g of Item 5 of Proposition 11.6.1.1.2, this is equivalent to requiring $F$ to be dominant.
Is there a nice characterisation of the pseudoepic functors, similarly to the characterisaiton of pseudomonic functors given in Item 1b of Item 1 of Proposition 11.7.4.1.2?
This question also appears as [Liberti, Characterization of pseudo monomorphisms and pseudo epimorphisms in Cat].
A pseudomonic and pseudoepic functor is dominant, faithful, essentially injective, and full on isomorphisms. Is it necessarily an equivalence of categories? If not, how bad can this fail, i.e. how far can a pseudomonic and pseudoepic functor be from an equivalence of categories?
This question also appears as [Emily, Is a pseudomonic and pseudoepic functor necessarily an equivalence of categories?].
Is there a characterisation of functors $F\colon \mathcal{C}\to \mathcal{D}$ such that:
For each $\mathcal{X}\in \operatorname {\mathrm{Obj}}\webleft (\mathsf{Cats}\webright )$, the precomposition functor
is pseudoepic?
For each $\mathcal{X}\in \operatorname {\mathrm{Obj}}\webleft (\mathsf{Cats}\webright )$, the postcomposition functor
is pseudoepic?
This question also appears as [Emily, Characterisations of functors $F$ such that $F^*$ or $F_*$ is [property], e.g. faithful, conservative, etc].
