Sheaves in Geometry and Logic Quotes

“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 MacLane, Sheaves in Geometry and Logic: A First Introduction to Topos Theory