> when someone in the group chat brings up category theory Define functor right now