All Questions

For every pseudomonad $T$ on the 2-category of (locally small) categories $\mathbf{Cat}$, we can consider the 2-category of $T$-pseudoalgebras and pseudomorphisms $T\text{-PsAlg}_p$, which is equipped ...

In Lack's A 2-categories companion, he states There are general results asserting that any bicategory is biequivalent to a 2-category, but in fact naturally occurring bicategories tend to be ...

Proarrow equipments (also known as framed bicategories) are identity-on-objects locally fully faithful pseudofunctors $({-})_* \colon \mathcal K \to \mathcal M$ for which every 1-cell $f_*$ in the ...