Category Immediate Relative Law