category induced

Some cleaning