add references to universal properties of ends and coends