Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Recall the notion of an $n$-cateogry $C$ enriched in a symmetric monoidal category. Instead of a set of $n$-morphisms $mor(a, b)$ (where $a$ and $b$ are compatible $(n{-}1)$-morphisms), we have an object $mor(a, b)$ in some symmetric monoidal category $S$. Composition of $n$-morphisms in $C$ takes the form of an $S$-morphism $mor(a, b)\otimes mor(b, c)\to mor(a, c)$.

I've come across some examples which seem to be well-described by the following generalization of enrichment. We replace the symmetric monoidal category $D$ with an $(n{+}1)$-category $D$. Each $k$-morphism of $C$ is assigned a $k$-morphism of $D$, for $0\le k < n$. (These assignments must of course satisfy various compatibility conditions. I'm only trying to sketch the rough idea here.) If $a$ and $b$ are compatible $(n{-}1)$-morphisms of $C$, $mor(a, b)$ is an $n$-morphism of $D$ (whose domain and range are determined my the assignments for $a$ and $b$). Composition of $n$-morphisms of $C$ takes the form of an $(n{+}1)$-morphism in $D$ from $mor(a, b) \bullet mor(b, c)$ to $mor(a, c)$, where $\bullet$ denotes composition of $n$-morphisms in $D$.

(To recover the more familiar symmetric-monoidal-category-enriched case, let $S$ be a symmetric monoidal category and let $D$ be the $(n{+}1)$-category whose $n$-morphisms are objects of $S$, whose $(n{+}1)$-morphisms are morphisms of $S$, and whose $k$-morphisms are trivial for $k < n$.)

My question is:

Does anyone know of references which discuss versions of enrichment similar to this, or which give natural examples of it?

All I've been able to find so far is Tom Leinster's article Generalized Enrichment for Categories and Multicategories, which discusses a very general version of $n$-categories enriched in $(n{+}1)$-categories. I'm not certain whether what I describe above can been seen as a special case of Leinster's definition.

share|improve this question
    
Good question! I was thinking just yesterday of asking whether any of the popular models of n-categories have enriched versions defined in ways roughly like this. –  David Roberts Jul 18 '12 at 0:56
    
I don't quite recognize Tom's notion of enrichment in your paraphrase. IIRC he defines for a monad $T$, what it means to have a "$T$-multicategory enriched over" a given $T'$-multicategory, where $T'$ is the free $T$-multicategory monad. He also notes that such an "enriched" thing may not have an "underlying" $T$-multicategory in the usual sense. What $T$ are you using? –  Mike Shulman Jul 18 '12 at 16:20
    
@Mike: I have a very clear memory of reading a definition which mentioned functions from the $k$-morphisms of the base category to the $k$-morphisms of the enriching category, but now when I read back through Leinster's paper I can't find it. Strange. Maybe I read it somewhere else, or maybe I just misread. In any case, I'll rewrite the question to make it more vague/general and remove any misleading claims about Leinster's version of enrichment. I'm really just interested in any version of $n$-categories being enriched in $m$-categories. Leinster's is the only one I've found so far. –  Kevin Walker Jul 18 '12 at 18:17

1 Answer 1

up vote 7 down vote accepted

The case $n=1$ is well-known in the category-theoretic literature and is called (of course) "categories enriched in a bicategory". It was introduced by Betti and Carboni (Cauchy-completion and the associated sheaf) and Walters (Sheaves and Cauchy-complete categories), and studied by Street (Enriched categories and cohomology) and other authors as well. Important examples include:

  • If $S$ is a site and $D$ is the bicategory whose objects are those of $S$ and whose morphisms are sieves, then $D$-enriched categories that are both symmetric and Cauchy-complete can be identified with sheaves on $S$. See Walters' paper Sheaves on sites as Cauchy-complete categories.

  • If $D$ is the bicategory of spans in a category $S$ with pullbacks, then $D$-enriched categories are very closely related to locally small fibrations over $S$. See Variation through Enrichment by all four authors mentioned above.

  • If $D$ is the bicategory constructed from a monoidal fibration as in this paper of mine, then $D$-enriched categories are a sort of category that is "both indexed and enriched".

Personally, I think it is better in most cases to enrich in a double category than in a bicategory: in both examples above, $D$ underlies a double category. Recognizing this doesn't change the notion of "$D$-enriched category" but it does give a wider notion of $D$-enriched functor, which in particular makes the second example into an honest equivalence with locally small fibrations. There is a similar equivalence for the third example. (I don't know of anywhere that this is written down yet.)

Leinster's notion of "category enriched in an fc-multicategory" is a bit more general even than this: an fc-multicategory (which I prefer to call a virtual double category) is to a double category in the same way that a multicategory is to a monoidal category. I do know of some examples that require this full generality, but they are kind of contrived. For instance, if instead of a monoidal fibration you start with a "multicategorical fibration", then instead of a double category you get a virtual double category.

I'm not quite sure how you want to generalize this to $n>1$. One possibility would be to observe that when $D$ is a bicategory, a $D$-enriched category is the same as a lax functor into $D$ whose domain is the chaotic 1-category on some set of objects. But for $n$-categories with $n>2$, there is probably no unique notion of "lax functor"; you would have to choose at which level(s) you want it to be lax. I guess you might also choose different inputs to make the domain "chaotic on".

One version which is certainly useful is to keep the domain as a chaotic 1-category, and make the functors lax at the bottom level but pseudo everywhere above that. In some sense this is the most straightforward "categorification", which produces an obvious generalization of the notion of bicategory enriched in a monoidal bicategory. I'd be interested to hear what other examples you have in mind!

share|improve this answer
    
Thanks Mike -- that's very helpful. If I can think of a succinct way of explaining the examples I have in mind, I'll append it to the question. –  Kevin Walker Jul 21 '12 at 23:18

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.