Has anyone worked out the universal property of the Cauchy completion of an enriched category?

What I have in mind is a definition that makes sense in any (suitable) framed bicategory, such as $\mathcal{V}$-Prof. Is there a notion of when an object in a framed bicategory has all absolute limits, formulated in terms of something like absolute Kan extensions? If so, is there a definition of Cauchy completion in these terms?

]]>In End of V-valued functors, a construction is given for the end of a V-enriched functor, which references an adjunction between hom-sets and tensor products. But the article assumes only that the enrichment category V is only symmetric monoidal, not a closed monoidal, so by what right do we have this adjunction? I'm assuming that this is just an oversight and the additional assumption on V should be added (this seems to be what Kelly's book does), can you confirm?

]]>Dear all,

I recently got involved with enriched category theory and I want to apply the machinery in a computer science environment. I am interested in non-complete enrichments and here particular in functor categories.

I am aware that if $\mathcal{V}$ is a complete symmetric monoidal closed category and $\mathcal{A}$ and $\mathcal{B}$ are $\mathcal{V}$-categories, then $[\mathcal{A},\mathcal{B}]$ can be enriched over $\mathcal{V}$. In Kelly it is then shown that under this assumption the enriched Yoneda lemma and enriched Yoneda embedding hold. There is also a short explanation of what happens when $\mathcal{V}$ is not necessarily small. I would now be interested what happens when $\mathcal{V}$ is not necessarily complete.

In Borceux (Handbook II Chapter 6) this is made a bit more precise. Here, it is made clear that we do not actually need completeness for the enriched Yoneda lemma. Still, for the enriched Yoneda embedding, we appartently need completeness. But it is not made precise why we actually need it. I assume that this is related to the functor category “problem”. Nevertheless, there is a difference between giving a recipe to get an enrichement when $\mathcal{V}$ is complete, but this does not mean that we cannot find an enrichment when $\mathcal{V}$ is not complete. Is anyone aware of results in this direction?

To reduce the problem, it would be enough to consider functor categories $[\mathcal{A},\mathcal{V}]$, where $\mathcal{V}$ is our enrichment. Here, the enriched Yoneda lemma indicates that $[\mathcal{A},\mathcal{V}](H^{A}, F)$ has a hom-object. In Borceux we can find a definition for an object of $\mathcal{V}$-natural transformations between two functors $F,G:\mathcal{A} \rightarrow \mathcal{V}$ when $\mathcal{V}$ is not complete. This means in the special case we do not have problem to find the right hom-object, but what about a general $\mathcal{V}$-functor $F$. I have not found nice examples that points out a problem. Maybe for some enrichements we can still get an enrichable $[\mathcal{A},\mathcal{V}]$ functor category.

I would appreciate any comment or reference to the literature that might answer some of these questions.

Kind regards,

franeb

]]>Added a mention of more general change-of-enrichment to enriched category, and a reference to Geoff Cruttwell’s thesis.

]]>