Presheaves as co-limits of representable functors [pdf] | Heykuki News