added the notion of a complete category as the existence of all (small) limits
added the notion of a cocomplete category as one that has all (small) colimits
Start Up and Down -- with the proper sign!