𝒬-Sets and Friends: Categorical Constructions and Categorical Properties