Invitation to Applied Category Theory