Library of categories, with categorical constructions on them