Definition A category C is complete iff it has all small limits. Dually, a category C is cocomplete iff it has all small colimits.