Category talk:Hidden variable theory