CT 2017: International Category Theory Conference