4
$\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
    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