nLab local reflexive coequalizer


A bicategory has local reflexive coequalizers if each of its hom-categories has reflexive coequalizers and composition preserves them.

Similarly, a double category has local reflexive coequalizers if its loose bicategory has them.

This condition is crucial for the virtual equipment of monoids and modules in a fibrant double category 𝔻\mathbb{D} to be representable, i.e. to have an associative tensor of bimodules (Proposition 11.10, Shulman 2008).


Created on August 22, 2023 at 15:22:35. See the history of this page for a list of all contributions to it.