A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine - 42Papers