“
If P is a presheaf on C and x E P(C), the value for an arrow f : D -* C in C is called the restriction of x along f, and is often denoted by I or by a dot:
”
”
Saunders Mac Lane (Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext))