Initial algebra

Properties


slide: Initial models