Interpreting Type Theory in a Quasicategory: A Yoneda Approach