meeting on Applied Category Theory