nLab framed bicategory

Contents

Contents

Idea

For large classes of examples of bicategories the 1-morphisms naturally are of one of two different types:

  1. special morphisms that may be taken to compose strictly among themselves;

  2. more general morphisms that behave like bimodules.

The archetypical example is indeed the bicategory whose objects are algebras, and whose 1-morphisms are bimodules between these: every ordinary algebra homomorphism f:ABf : A \to B induces an AA-BB-bimodule fB{}_f B and this operation induces a 2-functor from the category of algebras and algebra homomorphisms into the bicategory of algebras and bimodules, which is the identity on objects.

For usefully working with bicategories of this kind, it is typically of crucial importance to remember this extra information. A framing on a bicategory is a way to encode this.

This is essentially the same as a proarrow equipment on a bicategory. See there for more.

Framed bicategories are also known as fibrant double categories, because they may be characterised by the property that (L,R):D 1D 0×D 0(L, R) : D_1 \to D_0 \times D_0 is a fibration (Theorem 4.1 of Shulman ‘08). They are called gregarious double categories in DPP10.

Definition

This comes directly from Shulman ‘08:

Definition

A framed bicategory is a double category 𝔻=𝔻 0L𝔻 1R𝔻 0\mathbb{D} = \mathbb{D}_0 \xleftarrow{L} \mathbb{D}_1 \xrightarrow{R} \mathbb{D}_0 satisfying any of the following equivalent conditions:

  1. (L,R):𝔻 1𝔻 0×𝔻 0(L,R): \mathbb{D}_1 \to \mathbb{D}_0 \times \mathbb{D}_0 is a fibration,
  2. (L,R):𝔻 1𝔻 0×𝔻 0(L,R): \mathbb{D}_1 \to \mathbb{D}_0 \times \mathbb{D}_0 is an opfibration
  3. 𝔻\mathbb{D} admits all companions and conjoints
  4. 𝔻\mathbb{D} admits all restrictions
  5. 𝔻\mathbb{D} admits all extensions

See also

References

Last revised on August 14, 2024 at 09:27:33. See the history of this page for a list of all contributions to it.