Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorfraneb
    • CommentTimeFeb 24th 2012

    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 [𝒜,𝒱](H A,F)[\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:𝒜𝒱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 FF. 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

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 24th 2012

    Welcome, franeb! (Do you have a name?)

    Have you looked at the process of “universe enlargement” described in sections 2.6 and 3.11–3.12 of Kelly’s book? That provides a way to get something like a 𝒱\mathcal{V}-functor category when 𝒱\mathcal{V} is not complete, and it will admit a Yoneda embedding. Some of the hom-objects in this functor category (such as those whose domain is representable, by the Yoneda lemma) will lie in 𝒱\mathcal{V}, but in general not all of them will.

    • CommentRowNumber3.
    • CommentAuthorfraneb
    • CommentTimeFeb 27th 2012

    Dear Mike,

    thanks for your reply. I have had a look at 2.6 before, but I was and I am still quite certain that this only handles the case when 𝒜\mathcal{A} is not small. I agree that in 2.6. Kelly never explicitly mentions the need for completeness, but I am convinced that he implicitly assumes it throughout Chapter 2. In 3.11 and 3.12 the focus is more on taking a non-closed 𝒱\mathcal{V} and turn it into a closed extension. I also do not see how something incomplete would become complete by enlarging the universe. At least this is not generally possible.

    I can also be wrong with my claim that this is not applicable for completeness, but at the moment I just do not see how this would work.

    What do you mean by “… something like a 𝒱functorcategory\mathcal{V}-functor category”? If not all the hom-object lie in 𝒱 0\mathcal{V}_{0} then it would not be 𝒱\mathcal{V} generally enrichable.

    Kind regards,

    Frank

    • CommentRowNumber4.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 27th 2012

    You are right that Kelly assumes VV to be complete all through chapter 2 (the first paragraph of chapter 2 says “Henceforth we add the assumption that V 0V_0 is complete”) and that 2.6 only talks about the problem of non-small AA. However, the reason that non-small AA is a problem is that VV cannot be expected to admit non-small limits. If VV lacks small limits, then small AA has the same problem — existence of insufficiently many limits in VV.

    You’re right that enlarging the universe in the naive sense of SetSetSet \mapsto Set' is unlikely to help with completeness, but the enlargements constructed in 3.11–3.12 using the Yoneda embedding are complete and cocomplete. In 3.11 the enlargement is the presheaf category V=[V 0 op,Set]V'=[V_0^{op},Set'], which is complete (even SetSet'-complete) while in 3.12 it is a reflective subcategory of that which is therefore also complete. Thus, you can always get a VV'-category of functors between any two VV-categories.

    • CommentRowNumber5.
    • CommentAuthorfraneb
    • CommentTimeFeb 28th 2012

    Thank you for pointing it out. I should have been more careful reading it.