• Characterisations. The following conditions are equivalent:
    1. The morphism $f$ is pseudoepic.
    2. The morphism $f$ is corepresentably full on cores and corepresentably faithful.
    3. We have an isococomma square of the form
      in $\mathcal{C}$ up to equivalence.

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


You can also use the contact form below: