The nForum has moved to Zulip: Inducing the structure of a V-category on V for V symmetric….