3
$\begingroup$

Let $B$ be a monoidal category with multiplication $\Box$. Let $P$ be a category and let $T \colon P^\mathrm{op} \to B$ and $S \colon P \to B$ be functors. MacLane [CWM, p226] says that these two functors have a "tensor product"

$$ T \Box_P S = \int^{p\colon P} (Tp) \Box (Sp) .$$

Is that coend guaranteed to exist? Do we need more assumptions on the structure of $B?$

1 Answers 1

2

I guess that (wisely, otherwise any mathematical text would become unreadable) Mac Lane decided not to put all the more or less obvious hypotheses every time they're needed. In this case, since coends are colimits the hypothesis on $B$ would be to be cocomplete.

  • 0
    and $P$ should be small?2012-09-28
  • 0
    Well, I guess so, if "cocomplete" means, as in Mac Lane's, "small cocomplete".2012-09-28
  • 0
    I am wondering though if it *is* true for any monoidal category which is cocomplete, even if the category $P$ is large. Does anyone know?2012-09-28
  • 0
    I think this would be a question on its own. But without the monoidal thing messing around: just two categories $P$ and $C$ and what does it mean for $C$ to be "complete" or "cocomplete": $P$ small? Large?2012-09-29
  • 0
    a category has all limits means that it is a preorder (at most one morphism between any two objects). So we never consider it because it is pretty useless. So complete is said to mean has all small limits2012-09-29