An Invitation to Applied Category Theory