The nForum has moved to Zulip: The image of a functor.