In detail, $f$ is representably conservative if, for each pair of morphisms $\phi ,\psi \colon X\rightrightarrows A$ and each $2$-morphism

of $\mathcal{C}$, if the $2$-morphism
is a $2$-isomorphism, then so is $\alpha $.


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


You can also use the contact form below: