Why an integral symbol for the category of elements of a presheaf?

soft-question notation category-theory

This is not a real explanation, but I'm kinda proud of having told André Joyal (which wasn't surprised at all, but amused of seeing it) that there is a funny coincidence for this notation, namely that the category of elements of a presheaf can be written as a coend. If you go to the nlab page "category of elements" you'll find more informations!

Related

Show that if B is simply-connected, then p is a homeomorphism.
A topological function with only removable discontinuities
Global structure of the Gromov-Hausdorff space
Does the sum converge for all values of $a$?
Motivation of paracompactness
Mysterious Characterization of $A_5$ inside $S_5$
$3$ scorpions are chasing $1$ ant on the edges of a cube. The ant is $3$ times as fast than any scorpion. Can the ant survive?
How to make a pair of six-sided dice whose sum is always a prime number?
Show that there is a $c\in(0,1)$ such that $f(c)=\int_0^cf(x)dx$.
Distribution of determinants of $n\times n$ matrices with entries in $\{0,1,\ldots,q-1\}$
Can an equilateral triangle be dissected into 5 congruent convex pieces?
$K(\mathbb R P^n)$ from $K(\mathbb C P^k)$