pith. sign in

arxiv: 1301.3191 · v2 · pith:72RINPJPnew · submitted 2013-01-15 · 🧮 math.CT

Enriched categories as a free cocompletion

classification 🧮 math.CT
keywords enrichedcategoriesbicategorycocompletionequipmentfreemonoidalbicolimits
0
0 comments X
read the original abstract

This paper has two objectives. The first is to develop the theory of bicategories enriched in a monoidal bicategory -- categorifying the classical theory of categories enriched in a monoidal category -- up to a description of the free cocompletion of an enriched bicategory under a class of weighted bicolimits. The second objective is to describe a universal property of the process assigning to a monoidal category V the equipment of V-enriched categories, functors, transformations, and modules; we do so by considering, more generally, the assignation sending an equipment C to the equipment of C-enriched categories, functors, transformations, and modules, and exhibiting this as the free cocompletion of a certain kind of enriched bicategory under a certain class of weighted bicolimits.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Transposing cartesian and other structure in double categories

    math.CT 2024-04 unverdicted novelty 7.0

    Every double category with iso-strong finite products has an underlying cartesian bicategory, via transposition of natural transformations and adjunctions extending companions and conjoints.