Presheaves and cocompletions in formal category theory — Nathanael Arkor, Dylan McDermott | Kutubxona