Added normal pointed categories, and a "fold" for NC.