The oplax limit of an enriched category

Soichiro Fujii, Steve Lack

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)

Abstract

We show that 2-categories of the form B-Cat are closed under slicing, provided that we allow B to range over bicategories (rather than, say, monoidal categories). That is, for any B-category X, we define a bicategory B/X such that B-Cat/X ≅ (B/X)-Cat. The bicategory B/X is characterized as the oplax limit of X, regarded as a lax functor from a chaotic category to B, in the 2-category BICAT of bicategories, lax functors and icons. We prove this conceptually, through limit-preservation properties of the 2-functor BICAT → 2-CAT which maps each bicategory B to the 2-category B-Cat. When B satisfies a mild local completeness condition, we also show that the isomorphism B-Cat/X ≅ (B/X)-Cat restricts to a correspondence between fibrations in B-Cat over X on the one hand, and B/X-categories admitting certain powers on the other.
Original languageEnglish
Pages (from-to)390-412
Number of pages23
JournalTheory and Applications of Categories
Volume40
Issue number14
Publication statusPublished - 17 May 2024

Keywords

  • bicategories
  • Enriched categories

Fingerprint

Dive into the research topics of 'The oplax limit of an enriched category'. Together they form a unique fingerprint.

Cite this