• Interaction With Cotensors. If $\mathcal{C}$ has cotensors with $\mathbb {1}$, then the following conditions are equivalent:
    1. The morphism $f$ is pseudomonic.
    2. We have an isocomma 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: