1
$\begingroup$

What is the motivation for the integral notation $\int _{I \in \mathbb{I}} D(I)$ for a categorical limit, which is otherwise known as $\underset {\mathbb{I} \leftarrow} {lim} \ D$?

$\endgroup$
  • 3
    $\begingroup$ I've only seen the integral notation for (co)ends. Where did you see it used for general categorical limits? $\endgroup$ – Olivier Bégassat Nov 9 '20 at 12:59
  • 1
    $\begingroup$ @OlivierBégassat Hi. 30 secs into this introductory material here . $\endgroup$ – JRC Nov 9 '20 at 13:01
  • 2
    $\begingroup$ Hm, indeed. The notation that is probably most common is $\mathrm{lim}$ for limits and $\mathrm{colim}$ for colimits. This way you don't have to remember which of $\int_{I\in\Bbb{I}}$ and $\int^{I\in\Bbb{I}}$, or $\underset{\Bbb{I}\leftarrow}\lim$ and $\underset{\Bbb{I}\rightarrow}\lim$ corresponds to what. As for your question proper, motivation, I'm afraid I don't know. One can speculate that in many contexts a colimit is a sort of sum, so the notation might make sense for colimits. $\endgroup$ – Olivier Bégassat Nov 9 '20 at 13:43
  • $\begingroup$ Hmm. Interesting. Interesting possible rationale via co-limits. $\endgroup$ – JRC Nov 10 '20 at 9:36
2
$\begingroup$

As mentioned in the comments, this notation is most commonly used for ends and coends. In fact, limits and colimits are special cases of ends and coends (the case where one takes the end /coend of a functor $F: C \times C^{op} \to D$ which depends only on one of its variables), so this notation is a special case of the end / coend notation. For more discussion of this notation, see here.

$\endgroup$

Your Answer

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.