Applied Category Theory Workshop