Abolishing objects, categories and protocols