Definition 16.2.1. We denote by \[ \Ar ^{\oplax } \subseteq (\Cat _{\infty })_{/[1]} \] the full subcategory spanned by the cartesian fibrations \(E \to [1]\).
Generated from the authoritative LaTeX source.
Definition 16.2.1. We denote by \[ \Ar ^{\oplax } \subseteq (\Cat _{\infty })_{/[1]} \] the full subcategory spanned by the cartesian fibrations \(E \to [1]\).
Generated from the authoritative LaTeX source.