0.7 Universal constructions

Some objects are characterized not by their internal representation but by how all other objects map to or from them. Such universal properties make constructions invariant under changes of implementation.