Milan Workshop in categorical algebra: Third announcement