Update Category/Cone.agda

Move open declarations