Fibered categories, I