• Two-Out-of-Three. Let

    be a diagram in $\mathsf{Cats}$. If two out of the three functors among $F$, $G$, and $G\circ F$ are equivalences of categories, then so is the third.


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


You can also use the contact form below: