Stav dette: Sets, logic and categories