7
$\begingroup$

I have been lead to believe, due to various conversations and presentations, that there is a standard notion of an enriched 2-category (indeed, even an enriched n-category). However, after searching I can find no reference for such a construction (although I did find a paper where the authors mention that they know of no reference). So what would the data of an enriched 2-cateogry be?

Edit: Rereading my question, it feels unsatisfactory. Perhaps I should be more direct and simply ask the following: if I have a 2-category who's Hom sets naturally carry an algebraic strucutre (say that of a topological space) are there any natural questions I can ask that might allow me extend this structure to the whole 2-category?

$\endgroup$
1
  • 1
    $\begingroup$ It's not clear which of two notions you're referring to. Do you mean you want the hom-categories (between two objects) of the 2-category to be categories carrying some 2-algebraic structure, or do you want the local hom-sets (between two 1-cells) of the 2-category to be sets carrying some algebraic structure? The former is what most people would call "enriched 2-categories". The latter might be called "locally-enriched 2-categories". $\endgroup$
    – varkor
    Commented Jul 28, 2023 at 16:12

1 Answer 1

8
$\begingroup$

There is a standard notion of a bicategory enriched in a monoidal bicategory, which is a categorification of the notion of category enriched in a monoidal category. The standard reference would be Garner–Shulman's Enriched categories as a free cocompletion. The strict variant would be what most people would refer to as an enriched 2-category.

However, the notion referenced in the paper of Shapiro that you link is a different notion, which might be called a 2-category locally enriched in a monoidal category. This is a special case of the former notion, when the base of enrichment is taken to be the monoidal category $V\text{-}\mathbf{Cat}$, viewed as a locally discrete monoidal 2-category (this assumes that $V$ is at least braided, so that we can define a tensor product of $V$-categories).

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .