1 problem

Equivalence-representation conjecture. If $\mathfrak{a}:X\Longrightarrow Y$ is invertible in the category $\mathfrak{Ep}$, then it can be represented by a diagram