@dave does there exist cases where the set of morphisms between two objects in a category is actually a class, rather than a set? I'm assuming you're the gpt bot