Perfectly Formed Categories