Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am reading and on pg. 21, for the proof of the weak enriched Yoneda lemma starting from "Next, if α is defined by (1.47)..." he wants to show that a certain composite is the identity. I can't seem to verify this rigorously! Why is it the identity? He mentions something about $j_I=i_I:I \rightarrow [I,I]$, but I don't see how that comes into play. Any help would be appreciated!

share|cite|improve this question
up vote 0 down vote accepted

So, I solved this one but I don't see what the comment about $I\rightarrow [I,I]$ has to do with anything. For further reference, and so that people, if they feel up to it can check my reasoning I will answer my own question.

Let us change notation compared somewhat to what Kelly uses in his paper. Let $\ast$ be the unit object, and let $\underline{D}$ be our category, enriched over $\underline{\mathcal{V}}$. Then, say that we have a morphism $f:\ast \rightarrow Fd$ for a functor $F: \underline{D} \rightarrow \underline{\mathcal{V}}$. This morphism corresponds under adjunction and precomposition with the isomorphism $\ast \times \ast \rightarrow \ast$ to a map $f^\ast:\ast \rightarrow \underline{\mathcal{V}}(\ast,Fd)$.Now, one checks that the morphism $\mathcal{V}(f,1)$ that Kelly refers to is just precomposition with this morphism. Now, through some tedious diagram chasing one readily verifies that the claimed composite is $f$, using among other things the counit-units to see that the composite reduces to $ev(1 \times f^\ast)l_*$ where $l_*: \ast \rightarrow \ast \times \ast$ is the unit iso. By the counit-unit conditions, $ev(1 \times f^\ast) = fl_*^{-1}$ and so the composite reduces to $f$.

share|cite|improve this answer

Your Answer


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.