All Questions
1 question
6
votes
1
answer
435
views
Yoneda map for a composition of a representable functor and an arbitrary functor
Let $\mathcal{C}$ and $\mathcal{D}$ be categories and let $T : \mathcal{C} \rightarrow \mathcal{D}$ be a functor. Suppose that $F : \mathcal{D}^\mathrm{op} \rightarrow \mathrm{Set}$ is a functor. (So ...
- 11.2k