Category Theory 2019 announcement