Refine: Category.v Cone.v Example_limit_colimit.v

First, pack some categorical structure (Initial, Terminal, Product, CoProduct).
Next, rewrite Defintions of Limit and CoLimit.
Then, rewrite Everything related them in Example.