Category:Category intersection extensions