Applied Category Theory Research