Is there some appropriate setting where there is a notion of a "dual category," $\mathcal{C}^*$, and "tensor product of categories," $\mathcal{C}_1 \otimes \mathcal{C}_2$, such that we can identify the category of functors from $\mathcal{C}_1$ to $\mathcal{C}_2$ with the category $\mathcal{C}_1^* \otimes \mathcal{C}_2$ (analogous to the statement for vector spaces)?

  • $\begingroup$ Well.. Note that $V^*\otimes W\cong\hom(V,W)$ is not widely general, even among the vector spaces, it only holds for finite dimensional $V$. The tensor product arises on actions of rings/monoids/categories. Vector spaces are modules over (i.e. actions on) fields/division rings. So, the analogy goes rather like rings~categories, (bi-)modules~profunctors, with tensor and hom. $\endgroup$ – Berci Jan 18 '17 at 23:50

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.