What is Applied Category Theory - arxiv.org