naturally equivalent functors in Cat infinity

1. Definition

Let \(\mathcal{C}, \mathcal{D}\) be quasicategories and \(\mathcal{F},\mathcal{F}': \mathcal{C} \rightarrow \mathcal{D}\) be quasicategories. Then \(\mathcal{F}, \mathcal{F}'\) are said to be naturally equivalent, if they are equivalent 1-simplices in quasi category of quasi categories

Date: nil

Author: Anton Zakrewski

Created: 2024-10-15 Di 23:17